( en | de | ru )

 

Disambiguierung von "Valmari, Antti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Relaxed Visibility Enhances Partial Order Reduction.

, , und . Formal Methods Syst. Des., 19 (3): 275-289 (2001)

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

Can Stubborn Sets Be Optimal?, und . Fundam. Informaticae, 113 (3-4): 377-397 (2011)Question-guided stubborn set methods for state properties., , und . Formal Methods Syst. Des., 29 (3): 215-251 (2006)A Stubborn Attack on State Explosion.. Formal Methods Syst. Des., 1 (4): 297-322 (1992)Stubborn Set Intuition Explained., und . Trans. Petri Nets Other Model. Concurr., (2017)Fair testing and stubborn sets., und . Int. J. Softw. Tools Technol. Transf., 20 (5): 589-610 (2018)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)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)Exploring the Scope for Partial Order Reduction., , und . ATVA, Volume 5799 von Lecture Notes in Computer Science, Seite 39-53. Springer, (2009)