For the most recent entries see the
Petri Nets Newsletter.
Keyword: stubborn sets
-
He, Xudong;
Deng, Y.:
A Framework for Developing and Analyzing Software Architecture Specifications in SAM.
2002.
-
Varpaaniemi, Kimmo:
Stable Models for Stubborn Sets.
2000.
-
Varpaaniemi, Kimmo:
Stable Models for Stubborn Sets.
1999.
-
Varpaaniemi, Kimmo:
On the Stubborn Set Method in Reduced State Space Generation.
1998.
-
Grahlmann, Bernd:
The PEP Tool.
1997.
-
Varpaaniemi, Kimmo;
Heljanko, Keijo;
Lilius, Johan:
PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis.
1997.
-
Varpaaniemi, Kimmo:
Finding Small Stubborn Sets Automatically.
1996.
-
Varpaaniemi, Kimmo;
Halme, Jaakko;
Hiekkanen, Kari;
Pyssysalo, Tino:
PROD Reference Manual.
1995.
-
Hiraishi, K.:
Reduced state space generation of concurrent systems using weak persistence.
1994.
-
Valmari, Antti:
Stubborn Sets for Reduced State Space Generation.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography