UNIGE document Chapitre d'actes
previous document  unige:10786  next document
add to browser collection
Title

AlPiNA: A Symbolic Model Checker

Authors
Published in Lilius, Johan and Penczek, Wojciech. Applications and Theory of Petri Nets. Braga (Portugal) - 21-25 June 2010 - Berlin / Heidelberg: Springer. 2010, p. 287-296
Collection Lecture Notes in Computer Science; 6128
Stable URL http://archive-ouverte.unige.ch/unige:10786
Full text
Proceedings chapter (10.4 MB) - public document Free access
Identifiers
Structures
Research group Software Modeling and Verification
200 hits and 635 downloads since 2010-08-23
Update
Export document
Format :
Citation style :