Non-constructive interval simulation of dynamic systems
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 >