Luis E. Mendoza Morales, Manuel I. Capel, MarÃa A. Pérez, Kawtar Benghazi Akhlaki. Compositional Model-Checking Verification of Critical Systems. In Joaquim Filipe, José Cordeiro, editors, Enterprise Information Systems, 10th International Conference, ICEIS 2008, Barcelona, Spain, June 12-16, 2008, Revised Selected Papers. Volume 19 of Lecture Notes in Business Information Processing, pages 213-225, Springer, 2008. [doi]
Abstract is missing.