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