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