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