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