Non-constructive interval simulation of dynamic systems
Date
2012-06
Journal Title
Journal ISSN
Volume Title
Publisher
Department of Computing Science, University of Aberdeen
Citation
Pang, W, Coghill, G M & Bruce, A M 2012, Non-constructive interval simulation of dynamic systems. Technical Report ABDN–CS–12–02, vol. ABDN–CS–12–02, Department of Computing Science, University of Aberdeen, Aberdeen. < http://homepages.abdn.ac.uk/pang.wei/pages/TechReport/abdntechrep12-02.pdf >