Iqbal, A.Bhattacharjee, A. K.Dhodapkar, S. D.2022-02-172022-02-172003Lecture Notes in Computer Science, 2003. Vol. 2788: pp. 22-34http://hdl.handle.net/123456789/240304705 bytestext/htmlenVisual modeling and verificationdistributed reactive systemsCSPROM toolSpin model checkerVisual modeling and verification of distributed reactive systemsArticle