Pablo F. Castro , Cecilia Kilmurray , Araceli Acosta , and Nazareno Aguirre.
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.
9th International Conference on Software Engineering and Formal Methods.
(SEFM 2011), Montevideo, Uruguay, November 14-18, 2011. (TO APPEAR)
Departamento de Computación,
Facultad de Ciencias Exactas, Físico-Químicas y Naturales,
Universidad Nacional de Río Cuarto,
Ruta Nacional No. 36, Km. 601,
Río Cuarto, Argentina.
CP X5804BYA