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