Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez, Kawtar Benghazi Akhlaki
A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems
ICEIS, 2008.
@inproceedings{ICEIS-ISAS1-2008-MoralesTPA,
author = "Luis E. Mendoza Morales and Manuel I. Capel Tuñón and María A. Pérez and Kawtar Benghazi Akhlaki",
booktitle = "{Proceedings of the 10th International Conference on Enterprise Information Systems, Volume 3.1: ISAS}",
isbn = "978-989-8111-38-8",
pages = "86--93",
title = "{A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems}",
year = 2008,
}