Вы здесь

Valmari A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Tampere Verification Tool 2004 Virtanen H., Hansen H., Valmari A., Nieminen J., Erkkila T. Lecture Notes in Computer Science 15.05.2004
СТ Composition and Abstraction 2001 Valmari A. Lecture Notes in Computer Science 04.11.2001
СТ Liveness and Fairness in Process-Algebraic Verification 2001 Puhakka A., Valmari A. Lecture Notes in Computer Science 04.10.2001
СТ Livelocks, Fairness and Protocol Verification 2000 Puhakka A., Valmari A. 16th World Computer Congress 2000 06.03.2001
СТ Finding Stubborn Sets of Coloured Petri Nets Without Unfolding 1998 Kristensen L. M., Valmari A. Lecture Notes in Computer Science 04.07.1998
СТ Compositionality in State Space Verification Methods 1996 Valmari A. Lecture Notes in Computer Science 01.08.1996
СТ Error Detection by Reduced Reachability Graph Generation 1988 Valmari A. Application and Theory of Petri Nets 08.07.1995
СТ On-the-fly verification with stubborn sets 1993 Valmari A. Lecture Notes in Computer Science 20.08.1993
СТ Compositional State Space Generation 1993 Valmari A. Lecture Notes in Computer Science 26.06.1993
СТ Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool 1993 Valmari A., Kemppainen J., Clegg M., Levanto M. Lecture Notes in Computer Science 27.05.1993
СТ The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear Temporal Logic 1992 Kaivola R., Valmari A. Lecture Notes in Computer Science 16.10.1992