RPTU University Library

Send mail to Author

Program Logic for Weak Memory Concurrency (Doctoral Thesis)

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



 
             ___     _    _     ______    ______     ___    
  ____      / _ \\  | |  | ||  /_   _//  /_   _//   / _ \\  
 |    \\   | / \ || | |/\| ||   -| ||-     | ||    / //\ \\ 
 | [] ||   | \_/ || |  /\  ||   _| ||_    _| ||   |  ___  ||
 |  __//    \___//  |_// \_||  /_____//  /__//    |_||  |_||
 |_|`-`     `---`   `-`   `-`  `-----`   `--`     `-`   `-` 
 `-`
 


Back to frontdoor view