A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar. A Graphical Environment for the Specification and Verification of Reactive Systems. In Massimo Felici, Karama Kanoun, Alberto Pasquini, editors, Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP 99, Toulouse, France, September, 1999, Proceedings. Volume 1698 of Lecture Notes in Computer Science, pages 431-444, Springer, 1999. [doi]
Abstract is missing.