Michael Westergaard, Sami Evangelista, Lars Michael Kristensen. ASAP: An Extensible Platform for State Space Analysis. In Giuliana Franceschinis, Karsten Wolf, editors, Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Volume 5606 of Lecture Notes in Computer Science, pages 303-312, Springer, 2009. [doi]
Abstract is missing.