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