Proceedings chapter
AlPiNA: A Symbolic Model Checker
Presented at
Braga (Portugal), 21-25 June 2010Published in
Lilius, Johan and Penczek, Wojciech (Ed.), Applications and Theory of Petri Nets, p. 287-296Publisher
Berlin / Heidelberg : SpringerCollection
- Lecture Notes in Computer Science; 6128
Publication date
2010UNIGE affiliation entities
UNIGE research groups
Citation (ISO format)
BUCHS, Didier et al. AlPiNA: A Symbolic Model Checker. In: Applications and Theory of Petri Nets. Lilius, Johan and Penczek, Wojciech (Ed.). Braga (Portugal). Berlin / Heidelberg : Springer, 2010. p. 287–296. (Lecture Notes in Computer Science) doi: 10.1007/978-3-642-13675-7_17
Main files (1)
Proceedings chapter
Identifiers
- PID : unige:10786
- DOI : 10.1007/978-3-642-13675-7_17
