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