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