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