BozgaGOOS04'

BibTeX

@inproceedings{DBLP:conf/sfm/BozgaGOOS04,
  author    = {Marius Bozga and
               Susanne Graf and
               Ileana Ober and
               Iulian Ober and
               Joseph Sifakis},
  title     = {The IF Toolset},
  booktitle = {SFM},
  year      = {2004},
  pages     = {237-267},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3185{\&}spage=237},
  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}
}