BibTeX record conf/coopis/MarechalPR04

download as .bib file

@inproceedings{DBLP:conf/coopis/MarechalPR04,
  author    = {Olivier Mar{\'{e}}chal and
               Pascal Poizat and
               Jean{-}Claude Royer},
  title     = {Checking Asynchronously Communicating Components Using Symbolic Transition
               Systems},
  booktitle = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and
               ODBASE, {OTM} Confederated International Conferences, Agia Napa, Cyprus,
               October 25-29, 2004, Proceedings, Part {II}},
  pages     = {1502--1519},
  year      = {2004},
  crossref  = {DBLP:conf/coopis/2004-2},
  url       = {http://dx.doi.org/10.1007/978-3-540-30469-2_42},
  doi       = {10.1007/978-3-540-30469-2_42},
  timestamp = {Thu, 04 Aug 2011 14:30:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coopis/MarechalPR04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coopis/2004-2,
  editor    = {Robert Meersman and
               Zahir Tari},
  title     = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and
               ODBASE, {OTM} Confederated International Conferences, Agia Napa, Cyprus,
               October 25-29, 2004, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3291},
  publisher = {Springer},
  year      = {2004},
  isbn      = {3-540-23662-7},
  timestamp = {Tue, 02 Nov 2004 12:18:53 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coopis/2004-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}