( en | de | ru )

 

Disambiguierung von "Valmari, Antti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploring the Scope for Partial Order Reduction.

, , und . ATVA, Volume 5799 von Lecture Notes in Computer Science, Seite 39-53. Springer, (2009)

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.

Antti Punkka

Harry Anttila

Antti Ojala

Antti Marjanen

Antti Tölli

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploring the Scope for Partial Order Reduction., , und . ATVA, Volume 5799 von Lecture Notes in Computer Science, Seite 39-53. Springer, (2009)Liveness and Fairness in Process-Algebraic Verification., und . CONCUR, Volume 2154 von Lecture Notes in Computer Science, Seite 202-217. Springer, (2001)The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic., und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 207-221. Springer, (1992)On-the-Fly Verification with Stubborn Sets.. CAV, Volume 697 von Lecture Notes in Computer Science, Seite 397-408. Springer, (1993)Relaxed Visibility Enhances Partial Order Reduction., , und . CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 328-339. Springer, (1997)Improved Question-Guided Stubborn Set Methods for State Properties., und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 282-302. Springer, (2000)Fair Testing and Stubborn Sets., und . SPIN, Volume 9641 von Lecture Notes in Computer Science, Seite 225-243. Springer, (2016)Question-guided stubborn set methods for state properties., , und . Formal Methods Syst. Des., 29 (3): 215-251 (2006)A state space tool for concurrent system models expressed in C++.. SPLST, Volume 1525 von CEUR Workshop Proceedings, Seite 91-105. CEUR-WS.org, (2015)Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator.. CSEDU (2), Seite 324-331. SCITEPRESS, (2021)