Improving the significance of benchmarks for Petri nets model checkers
Presented atBraga (Portugal), 22nd June 2010
Published inProceedings of the workshops APNOC and SUMo, Braga, June 22, 2010, p. 97-111
Publication date2010
Abstract
Affiliation entities
Research groups
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