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]
@inproceedings{WestergaardEK09,
title = {ASAP: An Extensible Platform for State Space Analysis},
author = {Michael Westergaard and Sami Evangelista and Lars Michael Kristensen},
year = {2009},
doi = {10.1007/978-3-642-02424-5_18},
url = {http://dx.doi.org/10.1007/978-3-642-02424-5_18},
tags = {analysis},
researchr = {https://researchr.org/publication/WestergaardEK09},
cites = {0},
citedby = {0},
pages = {303-312},
booktitle = {Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings},
editor = {Giuliana Franceschinis and Karsten Wolf},
volume = {5606},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02423-8},
}