--- _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: EQUADIFF 2003. ; 2005. doi:10.1142/9789812702067_0014' apa: Day, S., Junge, O., & Mischaikow, K. (2005). Towards Automated Chaos Verification. In EQUADIFF 2003. https://doi.org/10.1142/9789812702067_0014 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} }' chicago: Day, Sarah, Oliver Junge, and Konstantin Mischaikow. “Towards Automated Chaos Verification.” In EQUADIFF 2003, 2005. https://doi.org/10.1142/9789812702067_0014. ieee: S. Day, O. Junge, and K. Mischaikow, “Towards Automated Chaos Verification,” in EQUADIFF 2003, 2005. mla: Day, Sarah, et al. “Towards Automated Chaos Verification.” EQUADIFF 2003, 2005, doi:10.1142/9789812702067_0014. 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' ... --- _id: '17024' 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 automized chaos verification. In: Proceedings of Equadiff 2003, International Conference on Differential Equations. ; 2005. doi:10.1142/9789812702067_0014' apa: Day, S., Junge, O., & Mischaikow, K. (2005). Towards automized chaos verification. In Proceedings of Equadiff 2003, International Conference on Differential Equations. https://doi.org/10.1142/9789812702067_0014 bibtex: '@inproceedings{Day_Junge_Mischaikow_2005, title={Towards automized chaos verification}, DOI={10.1142/9789812702067_0014}, booktitle={Proceedings of Equadiff 2003, International Conference on Differential Equations}, author={Day, Sarah and Junge, Oliver and Mischaikow, Konstantin}, year={2005} }' chicago: Day, Sarah, Oliver Junge, and Konstantin Mischaikow. “Towards Automized Chaos Verification.” In Proceedings of Equadiff 2003, International Conference on Differential Equations, 2005. https://doi.org/10.1142/9789812702067_0014. ieee: S. Day, O. Junge, and K. Mischaikow, “Towards automized chaos verification,” in Proceedings of Equadiff 2003, International Conference on Differential Equations, 2005. mla: Day, Sarah, et al. “Towards Automized Chaos Verification.” Proceedings of Equadiff 2003, International Conference on Differential Equations, 2005, doi:10.1142/9789812702067_0014. short: 'S. Day, O. Junge, K. Mischaikow, in: Proceedings of Equadiff 2003, International Conference on Differential Equations, 2005.' date_created: 2020-05-19T20:11:14Z date_updated: 2022-01-06T06:53:02Z doi: 10.1142/9789812702067_0014 language: - iso: eng publication: Proceedings of Equadiff 2003, International Conference on Differential Equations publication_identifier: isbn: - '9789812702067' publication_status: published status: public title: Towards automized chaos verification type: conference user_id: '32829' year: '2005' ...