ZimmermannS06'

BibTeX

@inproceedings{DBLP:conf/soco/ZimmermannS06,
  author    = {Wolf Zimmermann and
               Michael Schaarschmidt},
  title     = {Automatic Checking of Component Protocols in Component-Based
               Systems},
  booktitle = {Software Composition},
  year      = {2006},
  pages     = {1-17},
  ee        = {http://dx.doi.org/10.1007/11821946_1},
  crossref  = {DBLP:conf/soco/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/soco/2006,
  editor    = {Welf L{\"o}we and
               Mario S{\"u}dholt},
  title     = {Software Composition, 5th International Symposium, SC 2006,
               Vienna, Austria, March 25-26, 2006, Revised Papers},
  booktitle = {Software Composition},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4089},
  year      = {2006},
  isbn      = {3-540-37657-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}