RPTU University Library

Send mail to Author

Automated Reasoning under Weak Memory Consistency (Doctoral Thesis)

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



 
  _  __     ___                 ___     _    _      ___    
 | |/ //   / _ \\    ____      / _ \\  | \  / ||   / _ \\  
 | ' //   | / \ ||  |    \\   | / \ || |  \/  ||  / //\ \\ 
 | . \\   | \_/ ||  | [] ||   | \_/ || | .  . || |  ___  ||
 |_|\_\\   \___//   |  __//    \___//  |_|\/|_|| |_||  |_||
 `-` --`   `---`    |_|`-`     `---`   `-`  `-`  `-`   `-` 
                    `-`
 


Back to frontdoor view