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