AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Antti Valmari

Antti Valmari

Jyväskylä University - Jyväskylä / Finland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1656002
University of Jyväskylä
person_outline Antti Valmari's MOST POPULAR ARTICLES
1-) The state explosion problem Advanced Course on Petri Nets, 429-528, 1996
2-) Stubborn sets for reduced state space generation International Conference on Application and Theory of Petri Nets, 491-515, 1989
3-) A stubborn attack on state explosion International Conference on Computer Aided Verification, 156-165, 1990
4-) A stubborn attack on state explosion Formal Methods in System Design 1 (4), 297-322, 1992
5-) On-the-fly verification with stubborn sets International Conference on Computer Aided Verification, 397-408, 1993