Model Checking Propositional Deontic Temporal Logic via a \mu-Calculus Characterization

Formal Methods:. Fundations and Aplications

Lugar: Berlin ; Año: 2012; p. 3 - 18

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

Lecture Notes in Computer Science, LNPSE,volume 7041

Lugar: Montevideo; Año: 2011; p. 106 - 121