RPTU University Library

Send mail to Author

Automated Reasoning under Weak Memory Consistency (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
   _____    ______    ______     ___      _____    _    _   
  / ___//  /_   _//  /_____//   / _ \\   |__  //  | || | || 
  \___ \\   -| ||-   `____ `   | / \ ||    / //   | || | || 
  /    //   _| ||_   /___//    | \_/ ||   / //__  | \\_/ || 
 /____//   /_____//  `__ `      \___//   /_____||  \____//  
`-----`    `-----`   /_//       `---`    `-----`    `---`   
                     `-`
 


Back to frontdoor view