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