RPTU Universitätsbibliothek

Mail an Autor*in

Modelling Memory Consistency Models for Formal Verification (Dissertation)

Bitte geben Sie Ihre Kontaktdaten an, und wählen Sie aus, welchen der Autor*innen sie kontaktieren wollen.



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


Zurück zur Frontdoor