RPTU University Library

Send mail to Author

Modelling Memory Consistency Models for Formal Verification (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
 _    _    __   __    ____       ___      ______    _____   
| |  | ||  \ \\/ //  |  _ \\    / _ \\   /_   _//  |  ___|| 
| |/\| ||   \ ` //   | |_| ||  / //\ \\  `-| |,-   | ||__   
|  /\  ||    | ||    | .  //  |  ___  ||   | ||    | ||__   
|_// \_||    |_||    |_|\_\\  |_||  |_||   |_||    |_____|| 
`-`   `-`    `-`'    `-` --`  `-`   `-`    `-`'    `-----`
 


Back to frontdoor view