KatoenBKH04'

BibTeX

@inproceedings{DBLP:conf/sfm/KatoenBKH04,
  author    = {Joost-Pieter Katoen and
               Henrik C. Bohnenkamp and
               Ric Klaren and
               Holger Hermanns},
  title     = {Embedded Software Analysis with MOTOR},
  booktitle = {SFM},
  year      = {2004},
  pages     = {268-294},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3185{\&}spage=268},
  crossref  = {DBLP:conf/sfm/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sfm/2004,
  editor    = {Marco Bernardo and
               Flavio Corradini},
  title     = {Formal Methods for the Design of Real-Time Systems, International
               School on Formal Methods for the Design of Computer, Communication
               and Software Systems, SFM-RT 2004, Bertinoro, Italy, September
               13-18, 2004, Revised Lectures},
  booktitle = {SFM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3185},
  year      = {2004},
  isbn      = {3-540-23068-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}