RPTU University Library

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