Yung-Pin Cheng, Chun-Yu Lee. ARCATS - Tackling State Explosion in a Multi-Phased, Compositional Way. In Proceedings of the 14th International Conference on Distributed Multimedia Systems, DMS 2008, September 4-6, 2008, Hyatt Harborside Hotel, Boston, Massachusetts, USA. pages 100-105, Knowledge Systems Institute, 2008.
Abstract is missing.