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