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