Improving the significance of benchmarks for Petri nets model checkers
Published inProceedings of the workshops APNOC and SUMo, Braga, June 22, 2010, p. 97-111
Presented at Braga (Portugal), 22nd June 2010
Publication date2010
Abstract
Research group
Citation (ISO format)
HOSTETTLER, Steve Patrick et al. Improving the significance of benchmarks for Petri nets model checkers. In: Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010. Braga (Portugal). [s.l.] : [s.n.], 2010. p. 97–111.
Main files (1)
Proceedings chapter
Identifiers
- PID : unige:9825