RPTU University Library

Send mail to Author

Interactive Verification of Synchronous Systems (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



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


Back to frontdoor view