Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Araceli Acosta  [Clear All Filters]
2012
A. Acosta, C. Kilmurray, P. F. Castro, and N. Aguirre, “ Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization”, in 15th Brazilian Symposium on Formal Methods (SBMF 2012), Natal, Brazil, 2012.