( en | de | ru )

 

Disambiguierung von "Wolper, Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Memory Efficient Algorithms for the Verification of Temporal Properties.

, , , und . CAV, Volume 531 von Lecture Notes in Computer Science, Seite 233-242. Springer, (1990)

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.

Carolin Wölper

Günter Wolper

Christoph Wölper

Charlotte Nothdurft-Wölper

Pierre Venet

 

Weitere Publikationen von Autoren mit dem selben Namen

Simple on-the-fly automatic verification of linear temporal logic., , , und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 3-18. Chapman & Hall, (1995)Where is the Algorithmic Support?. ACM Comput. Surv., 28 (4es): 58 (1996)Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties., und . Formal Methods Syst. Des., 2 (2): 149-164 (1993)Automata-Theoretic Techniques for Modal Logics of Programs., und . J. Comput. Syst. Sci., 32 (2): 183-221 (1986)Adding Liveness Properties to Coupled Finite-State Machines., , und . ACM Trans. Program. Lang. Syst., 12 (2): 303-339 (1990)Reasoning about Cryptographic Protocols., und . Distributed Computing And Cryptography, Volume 2 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 245-. DIMACS/AMS, (1989)On the Representation of Infinite Temporal Data and Queries., , und . PODS, Seite 280-290. ACM Press, (1991)Handling Liveness Properties in (omega-)Regular Model Checking., , und . INFINITY, Volume 138 von Electronic Notes in Theoretical Computer Science, Seite 101-115. Elsevier, (2004)Reliable Hashing without Collosion Detection., und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 59-70. Springer, (1993)A direct symbolic approach to model checking pushdown systems., , und . INFINITY, Volume 9 von Electronic Notes in Theoretical Computer Science, Seite 27-37. Elsevier, (1997)