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