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

B2M: A Semantic Based Tool for BLIF Hardware Descriptions., , und . FMCAD, Volume 1954 von Lecture Notes in Computer Science, Seite 91-107. Springer, (2000)Topology.. Archive of Formal Proofs, (2004)Formal proof development.Java Bytecode Verification by Model Checking., , , und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 491-494. Springer, (1999)Bytecode Model Checking: An Experimental Analysis., , , und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 42-59. Springer, (2002)Modeling a Hardware Synthesis Methodology in Isabelle., und . Formal Methods in System Design, 15 (2): 99-122 (1999)Structural and Behavioral Modeling with Monadic Logics., , und . ISMVL, Seite 142-151. IEEE Computer Society, (1999)Bytecode Verification by Model Checking., , und . J. Autom. Reasoning, 30 (3-4): 399-444 (2003)Lazy Lists II.. Archive of Formal Proofs, (2004)Formal proof development.Modeling a Hardware Synthesis Methodology in Isabelle., und . TPHOLs, Volume 1125 von Lecture Notes in Computer Science, Seite 33-50. Springer, (1996)Verified Bytecode Model Checkers., , und . TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 47-66. Springer, (2002)