BibTeX record: conf/acsd/HostettlerLMR10

download as .bib file

@inproceedings{DBLP: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 = {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},
  pages     = {475--489},
  year      = {2010},
  crossref  = {DBLP:conf/acsd/2010w},
  url       = {http://ceur-ws.org/Vol-827/35_SteveHostettler_article.pdf},
  timestamp = {Wed, 15 Feb 2012 09:40:07 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/acsd/HostettlerLMR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/acsd/2010w,
  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},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {827},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-827},
  timestamp = {Wed, 15 Feb 2012 09:36:13 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/acsd/2010w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}