A. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh. Visual Modeling and Verification of Distributed Reactive Systems. In Stuart Anderson, Massimo Felici, Bev Littlewood, editors, Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings. Volume 2788 of Lecture Notes in Computer Science, pages 22-34, Springer, 2003. [doi]
Abstract is missing.