OgataYSF04'

BibTeX

@inproceedings{DBLP:conf/ifip10-3/OgataYSF04,
  author    = {Kazuhiro Ogata and
               Daigo Yamagishi and
               Takahiro Seino and
               Kokichi Futatsugi},
  title     = {Modeling and Verification of Hybrid Systems Based on Equations},
  booktitle = {DIPES},
  year      = {2004},
  pages     = {43-52},
  crossref  = {DBLP:conf/ifip10-3/2004dipes},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip10-3/2004dipes,
  editor    = {Bernd Kleinjohann and
               Guang R. Gao and
               Hermann Kopetz and
               Lisa Kleinjohann and
               Achim Rettberg},
  title     = {Design Methods and Applications for Distributed Embedded
               Systems, IFIP 18th World Computer Congress, TC10 Working
               Conference on Distributed and Parallel Embedded Systems
               (DIPES 2004), 22-27 August 2004, Toulouse, France},
  booktitle = {DIPES},
  publisher = {Kluwer},
  year      = {2004},
  isbn      = {1-4020-8148-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}