dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.

Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre

Browse the full SEFM paper archive.