BibTeX record conf/snc/Ratschan09

• > Home > conf/snc/Ratschan09

@inproceedings{DBLP:conf/snc/Ratschan09,
  author       = {Stefan Ratschan},
  editor       = {Hiroshi Kai and
                  Hiroshi Sekigawa and
                  Tateaki Sasaki and
                  Kiyoshi Shirayanagi and
                  Ilias S. Kotsireas},
  title        = {Symbolic-numeric problems in the automatic analysis and verification
                  of cyber-physical systems},
  booktitle    = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
                  - 05, 2009},
  pages        = {7--8},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577190.1577195},
  doi          = {10.1145/1577190.1577195},
  timestamp    = {Sun, 19 Jan 2025 13:39:21 +0100},
  biburl       = {https://dblp.org/rec/conf/snc/Ratschan09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}