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