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