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