PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kesten, Yonit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Model Checking with Rich ssertional Languages.

, , , , und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 424-435. Springer, (1997)

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.

Keine Personen gefunden für den Autorennamen Kesten, Yonit
Eine Person hinzufügen mit dem Namen Kesten, Yonit
 

Weitere Publikationen von Autoren mit dem selben Namen

A Complete Proof Systems for QPTL, und . LICS, Seite 2-12. IEEE Computer Society, (1995)Complete Proof System for QPTL., und . J. Log. Comput., 12 (5): 701-745 (2002)Network Invariants in Action., , , und . CONCUR, Volume 2421 von Lecture Notes in Computer Science, Seite 101-115. Springer, (2002)Integration Graphs: A Class of Decidable Hybrid Systems., , , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 179-208. Springer, (1992)Modularization and Abstraction: The Keys to Practical Formal Verification., und . MFCS, Volume 1450 von Lecture Notes in Computer Science, Seite 54-71. Springer, (1998)Algorithmic Verification of Linear Temporal Logic Specifications., , und . ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 1-16. Springer, (1998)Symbolic model checking with rich assertional languages., , , , und . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)Verification of Clocked and Hybrid Systems., , und . Acta Inf., 36 (11): 837-912 (2000)Symbolic Model Checking with Rich ssertional Languages., , , , und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 424-435. Springer, (1997)Verifying Clocked Transition Systems., , und . Hybrid Systems, Volume 1066 von Lecture Notes in Computer Science, Seite 13-40. Springer, (1995)