High-Level Petri Net Model Checking with AlPiNA
- Hostettler, Steve Centre Universitaire d'Informatique, Université de Genève, Route de Drize 7, CH-1227 Carouge, Switzerland. steve.hostettler@unige.ch; alexis.marechal@unige.ch; alban.linard@unige.ch; matteo.risoldi@unige.ch; didier.buchs@unige.ch;
- Marechal, Alexis Centre Universitaire d'Informatique, Université de Genève, Route de Drize 7, CH-1227 Carouge, Switzerland. steve.hostettler@unige.ch; alexis.marechal@unige.ch; alban.linard@unige.ch; matteo.risoldi@unige.ch; didier.buchs@unige.ch;
- Linard, Alban Centre Universitaire d'Informatique, Université de Genève, Route de Drize 7, CH-1227 Carouge, Switzerland. steve.hostettler@unige.ch; alexis.marechal@unige.ch; alban.linard@unige.ch; matteo.risoldi@unige.ch; didier.buchs@unige.ch;
- Risoldi, Matteo Centre Universitaire d'Informatique, Université de Genève, Route de Drize 7, CH-1227 Carouge, Switzerland. steve.hostettler@unige.ch; alexis.marechal@unige.ch; alban.linard@unige.ch; matteo.risoldi@unige.ch; didier.buchs@unige.ch;
- Buchs, Didier Centre Universitaire d'Informatique, Université de Genève, Route de Drize 7, CH-1227 Carouge, Switzerland. steve.hostettler@unige.ch; alexis.marechal@unige.ch; alban.linard@unige.ch; matteo.risoldi@unige.ch; didier.buchs@unige.ch;
Published in:
- Fundamenta Informaticae. - IOS Press. - 2011, vol. 113, no. 3-4, p. 229-264
Theoretical Computer Science
Computational Theory and Mathematics
Algebra and Number Theory
Information Systems
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.3233/fi-2011-608
- ISSN 0169-2968
- Persistent URL
- https://sonar.ch/global/documents/88016
Statistics
Document views: 63
File downloads:
- Full-text: 0