Publications

Export 1 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Araceli Acosta  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.