Valmari, A.

• Kristensen, L. M.; Schmidt, K.; Valmari, A.:
  Question-guided stubborn set methods for state properties. 2006.

• Kristensen, Lars Michael; Valmari, Antti:
  Improved Question-Guided Stubborn Set Methods for State Properties. 2000.

• Valmari, Antti:
  The State Explosion Problem. 1998.

• Kristensen, Lars Michael; Valmari, Antti:
  Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. 1998.

• Valmari, Antii:
  Compositionality in State Space Verification Methods. 1996.

• Valmari, Antti:
  Failure-based Equivalences Are Faster Than Many Believe. 1995.

• Valmari, Antti:
  Compositional Analysis with Place-Bordered Subnets. 1994.

• Valmari, Antii:
  State of the Art Report: Stubborn Sets. 1994.

• Valmari, Antti:
  Stubborn Sets of Coloured Petri Nets. 1991.

• Valmari, Antti:
  Compositional State Space Generation. 1990.

• Valmari, Antti:
  Eliminating Redundant Interleavings During Concurrent Program Verification. 1989.

• Valmari, Antti:
  Stubborn Sets for Reduced State Space Generation. 1989.

• Tiusanen, M.; Valmari, A.:
  Graph Model for Efficient Reachability Analysis of Description Languages. 1986.

Back to the Petri Nets Bibliography