@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}},
}