RPTU University Library

Send mail to Author

Verification Techniques for TSO-Relaxed Programs (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
  ______     ___      ______    _____     ____       ___    
 /_____//   / _ \\   /_   _//  |  ___||  |  _ \\    / _ \\  
 `____ `   / //\ \\  `-| |,-   | ||__    | |_| ||  / //\ \\ 
 /___//   |  ___  ||   | ||    | ||__    | .  //  |  ___  ||
 `__ `    |_||  |_||   |_||    |_____||  |_|\_\\  |_||  |_||
 /_//     `-`   `-`    `-`'    `-----`   `-` --`  `-`   `-` 
 `-`
 


Back to frontdoor view