Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
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.
Google Scholar
BibTex
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables
