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
Identifiers
Full text
Proceedings chapter (10.4 MB) - public document Free access
Structures
Research group Software Modeling and Verification
Citation
(ISO format)
BUCHS, Didier et al. AlPiNA: A Symbolic Model Checker. In: Lilius, Johan and Penczek, Wojciech (Ed.). Applications and Theory of Petri Nets. Braga (Portugal). Berlin / Heidelberg : Springer, 2010. p. 287-296. (Lecture Notes in Computer Science; 6128) https://archive-ouverte.unige.ch/unige:10786

250 hits

657 downloads

Update

Deposited on : 2010-08-23

Export document
Format :
Citation style :