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