BibTeX record: conf/wotug/MeulenP09

download as .bib file

@inproceedings{DBLP:conf/wotug/MeulenP09,
  author    = {Jos\'{e} Vander Meulen and
               Charles Pecheur},
  title     = {Combining Partial Order Reduction with Bounded Model Checking.},
  booktitle = {The thirty-second Communicating Process Architectures Conference,
               {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
               Netherlands, 1-6 November 2009},
  year      = {2009},
  pages     = {29--48},
  crossref  = {DBLP:conf/wotug/2009},
  url       = {http://dx.doi.org/10.3233/978-1-60750-065-0-29},
  doi       = {10.3233/978-1-60750-065-0-29},
  timestamp = {Tue, 02 Sep 2014 23:53:01 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wotug/MeulenP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wotug/2009,
  editor    = {Peter H. Welch and
               Herman W. Roebbers and
               Jan F. Broenink and
               Fred R. M. Barnes and
               Carl G. Ritson and
               Adam T. Sampson and
               Gardiner S. Stiles and
               Brian Vinter},
  title     = {The thirty-second Communicating Process Architectures Conference,
               {CPA} 2009, organised under the auspices of WoTUG, Eindhoven, The
               Netherlands, 1-6 November 2009},
  series    = {Concurrent Systems Engineering Series},
  year      = {2009},
  volume    = {67},
  publisher = {{IOS} Press},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=14073},
  isbn      = {978-1-60750-065-0},
  timestamp = {Tue, 02 Sep 2014 23:53:01 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wotug/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}