Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.

Marjan Sirjani Ali Movaghar Amin Shali Frank S. de Boer Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. 1054-1082 2005 11 J. UCS 6 http://www.jucs.org/jucs_11_6/model_checking_automated_abstraction db/journals/jucs/jucs11.html#SirjaniMSB05