Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Counterexample-Guided Abstraction Refinement for Symbolic Model Checking, , , , und . Journal of the ACM, 50 (5): 752-794 (September 2003)Automatic Verification of finite-state Concurrent systems using temporal logic specification, , und . TOPLAS, (1986)Formal Methods: State of the Art and Future Directions, und . ACM Computing Surveys, 28 (4): 626-643 (1996)Compositional Reasoning in Model Checking, , und . Lecture Notes in Computer Science, (1998)Verifying IP-core based system-on-chip designs, , , und . ASIC/SOC Conference, 1999. Proceedings. Twelfth Annual IEEE International, Seite 27 -31. (1999)