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