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