Proceedings chapter/article (contribution published in proceedings)
AlPiNA: A Symbolic Model Checker
Presented atBraga (Portugal), 21-25 June 2010
Published inLilius, Johan and Penczek, Wojciech (Ed.), Applications and Theory of Petri Nets, p. 287-296
PublisherBerlin / Heidelberg : Springer
Collection
- Lecture Notes in Computer Science; 6128
Publication date2010
Affiliation entities
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
