BibTeX record conf/ifip10-3/OgataYSF04

• > Home > conf/ifip10-3/OgataYSF04

@inproceedings{DBLP:conf/ifip10-3/OgataYSF04,
  author       = {Kazuhiro Ogata and
                  Daigo Yamagishi and
                  Takahiro Seino and
                  Kokichi Futatsugi},
  editor       = {Bernd Kleinjohann and
                  Guang R. Gao and
                  Hermann Kopetz and
                  Lisa Kleinjohann and
                  Achim Rettberg},
  title        = {Modeling and Verification of Hybrid Systems Based on Equations},
  booktitle    = {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},
  series       = {{IFIP}},
  volume       = {150},
  pages        = {43--52},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8149-9\_5},
  doi          = {10.1007/1-4020-8149-9\_5},
  timestamp    = {Sat, 03 Mar 2018 00:07:35 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/OgataYSF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}