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