@inproceedingsDay_Junge_Mischaikow_2005, title=Towards Automated Chaos Verification, DOI=10.1142/9789812702067_0014, booktitle=EQUADIFF 2003, author=Day, Sarah and Junge, Oliver and Mischaikow, Konstantin, year=2005 
LibreCat: /record/16525
DOI: 10.1142/9789812702067_0014