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