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