RPTU Universitätsbibliothek

Mail an Autor*in

Interactive Verification of Synchronous Systems (Dissertation)

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



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


Zurück zur Frontdoor