DBLP BibTeX Record 'conf/acsd/HostettlerLMR10'

  author    = {Steve Hostettler and
               Alban Linard and
               Alexis Marechal and
               Matteo Risoldi},
  title     = {Improving the Significance of Benchmarks for Petri Nets
               Model Checkers},
  booktitle = {ACSD/Petri Nets Workshops},
  year      = {2010},
  pages     = {475-489},
  ee        = {http://ceur-ws.org/Vol-827/35_SteveHostettler_article.pdf},
  crossref  = {DBLP:conf/acsd/2010w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
  editor    = {Susanna Donatelli and
               Jetty Kleijn and
               Ricardo Jorge Machado and
               Jo{\~a}o M. Fernandes},
  title     = {Proceedings of the Workshops of the 31st International Conference
               on Application and Theory of Petri Nets and Other Models
               of Concurrency (PETRI NETS 2010) and of the 10th International
               Conference on Application of Concurrency to System Design
               (ACSD 2010), Braga, Portugal, June, 2010},
  booktitle = {ACSD/Petri Nets Workshops},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {827},
  year      = {2010},
  ee        = {http://ceur-ws.org/Vol-827},
  bibsource = {DBLP, http://dblp.uni-trier.de}