RPTU Universitätsbibliothek

Mail an Autor*in

Automated Reasoning under Weak Memory Consistency (Dissertation)

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



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


Zurück zur Frontdoor