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