Day, Sarah, et al. “Towards Automated Chaos Verification.”10.1142/9789812702067_0014__EQUADIFF 2003, 2005, doi:10.1142/9789812702067_0014.
LibreCat: /record/16525
DOI: 10.1142/9789812702067_0014