---
_id: '16525'
author:
- first_name: Sarah
  full_name: Day, Sarah
  last_name: Day
- first_name: Oliver
  full_name: Junge, Oliver
  last_name: Junge
- first_name: Konstantin
  full_name: Mischaikow, Konstantin
  last_name: Mischaikow
citation:
  ama: 'Day S, Junge O, Mischaikow K. Towards Automated Chaos Verification. In: <i>EQUADIFF
    2003</i>. ; 2005. doi:<a href="https://doi.org/10.1142/9789812702067_0014">10.1142/9789812702067_0014</a>'
  apa: Day, S., Junge, O., &#38; Mischaikow, K. (2005). Towards Automated Chaos Verification.
    In <i>EQUADIFF 2003</i>. <a href="https://doi.org/10.1142/9789812702067_0014">https://doi.org/10.1142/9789812702067_0014</a>
  bibtex: '@inproceedings{Day_Junge_Mischaikow_2005, title={Towards Automated Chaos
    Verification}, DOI={<a href="https://doi.org/10.1142/9789812702067_0014">10.1142/9789812702067_0014</a>},
    booktitle={EQUADIFF 2003}, author={Day, Sarah and Junge, Oliver and Mischaikow,
    Konstantin}, year={2005} }'
  chicago: Day, Sarah, Oliver Junge, and Konstantin Mischaikow. “Towards Automated
    Chaos Verification.” In <i>EQUADIFF 2003</i>, 2005. <a href="https://doi.org/10.1142/9789812702067_0014">https://doi.org/10.1142/9789812702067_0014</a>.
  ieee: S. Day, O. Junge, and K. Mischaikow, “Towards Automated Chaos Verification,”
    in <i>EQUADIFF 2003</i>, 2005.
  mla: Day, Sarah, et al. “Towards Automated Chaos Verification.” <i>EQUADIFF 2003</i>,
    2005, doi:<a href="https://doi.org/10.1142/9789812702067_0014">10.1142/9789812702067_0014</a>.
  short: 'S. Day, O. Junge, K. Mischaikow, in: EQUADIFF 2003, 2005.'
date_created: 2020-04-15T08:14:05Z
date_updated: 2022-01-06T06:52:52Z
department:
- _id: '101'
doi: 10.1142/9789812702067_0014
language:
- iso: eng
publication: EQUADIFF 2003
publication_identifier:
  isbn:
  - '9789812561695'
  - '9789812702067'
publication_status: published
status: public
title: Towards Automated Chaos Verification
type: conference
user_id: '15701'
year: '2005'
...