Hector A. Andrade, Beverly Sanders. An Approach to Compositional Model Checking. In 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings. IEEE Computer Society, 2002. [doi]
Abstract is missing.