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