PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Seger, Carl-Johan H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.

, , und . TPHOLs, Volume 1690 von Lecture Notes in Computer Science, Seite 323-340. Springer, (1999)

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.

H. Binz

Prof. Ph. D. Johan Kamp University of Stuttgart

H. Bungartz

Barbara Theresa Johansson University of Stuttgart

Kai Johann University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Characterization of Ternary Simulation of Gate Networks., und . IEEE Trans. Computers, 36 (11): 1318-1327 (1987)Robust Storage Structures for Crash Recovery., und . IEEE Trans. Computers, 35 (4): 288-295 (1986)Correction: IEEE Transactions on Computers 36(2): 256 (1987).An industrially effective environment for formal hardware verification., , , , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 24 (9): 1381-1405 (2005)Formal Verification of Digital Circuits Using Symbolic Ternary System Models., und . CAV, Volume 531 von Lecture Notes in Computer Science, Seite 33-43. Springer, (1990)A Two-Level Formal Verification Methodology using HOL and COSMOS., und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 299-309. Springer, (1991)The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover., und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 185-198. Springer, (1993)Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving., , und . TPHOLs, Volume 1690 von Lecture Notes in Computer Science, Seite 323-340. Springer, (1999)Asynchronous Circuits., und . Monographs in Computer Science Springer, (1995)Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary)., und . ICALP, Volume 226 von Lecture Notes in Computer Science, Seite 69-78. Springer, (1986)Generalized Symbolic Trajectory Evaluation - Abstraction in Action., und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 70-87. Springer, (2002)