Conference Proceedings

Balanced reduction of an IDE-based spatio-temporal model

K Scerri, M Dewar, P Aram, D FREESTONE, V Kadirkamanathan, DB Grayden

Proceedings of the Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking; Computation Tools 2011 | Xpert Publishing Services | Published : 2011

University of Melbourne Researchers