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