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