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