UNIVERSITÄTSBIBLIOTHEK

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