Visual Modeling and Verification of Distributed Reactive Systems.

Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Browse the full SAFECOMP paper archive.