Schließen

Send mail to Author

Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
__    __     ___     _____       ___      _____     _____   
\ \\ / //   / _ \\  |  __ \\    / _ \\   |__  //   |  ___|| 
 \ \/ //   | / \ || | |  \ ||  / //\ \\    / //    | ||__   
  \  //    | \_/ || | |__/ || |  ___  ||  / //__   | ||__   
   \//      \___//  |_____//  |_||  |_|| /_____||  |_____|| 
    `       `---`    -----`   `-`   `-`  `-----`   `-----`
 


Back to frontdoor view