@inproceedings{16525,
  author       = {{Day, Sarah and Junge, Oliver and Mischaikow, Konstantin}},
  booktitle    = {{EQUADIFF 2003}},
  isbn         = {{9789812561695}},
  title        = {{{Towards Automated Chaos Verification}}},
  doi          = {{10.1142/9789812702067_0014}},
  year         = {{2005}},
}

@inproceedings{17024,
  author       = {{Day, Sarah and Junge, Oliver and Mischaikow, Konstantin}},
  booktitle    = {{Proceedings of Equadiff 2003, International Conference on Differential Equations}},
  isbn         = {{9789812702067}},
  title        = {{{Towards automized chaos verification}}},
  doi          = {{10.1142/9789812702067_0014}},
  year         = {{2005}},
}