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