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