UNIVERSITÄTSBIBLIOTHEK

Send mail to Author

Modelling Memory Consistency Models for Formal Verification (Doctoral Thesis)

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



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


Back to frontdoor view