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