Towards Automated Chaos Verification
S. Day, O. Junge, K. Mischaikow, in: EQUADIFF 2003, 2005.
Download
No fulltext has been uploaded.
Conference Paper
| Published
| English
Author
Day, Sarah;
Junge, Oliver;
Mischaikow, Konstantin
Department
Publishing Year
Proceedings Title
EQUADIFF 2003
ISBN
LibreCat-ID
Cite this
Day S, Junge O, Mischaikow K. Towards Automated Chaos Verification. In: EQUADIFF 2003. ; 2005. doi:10.1142/9789812702067_0014
Day, S., Junge, O., & Mischaikow, K. (2005). Towards Automated Chaos Verification. In EQUADIFF 2003. https://doi.org/10.1142/9789812702067_0014
@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} }
Day, Sarah, Oliver Junge, and Konstantin Mischaikow. “Towards Automated Chaos Verification.” In EQUADIFF 2003, 2005. https://doi.org/10.1142/9789812702067_0014.
S. Day, O. Junge, and K. Mischaikow, “Towards Automated Chaos Verification,” in EQUADIFF 2003, 2005.
Day, Sarah, et al. “Towards Automated Chaos Verification.” EQUADIFF 2003, 2005, doi:10.1142/9789812702067_0014.
Google Scholar
ISBN Search