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