RPTU Universitätsbibliothek

Mail an Autor*in

Verification Techniques for TSO-Relaxed Programs (Dissertation)

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



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


Zurück zur Frontdoor