Michel Carlini

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini
Proving Epistemic and Temporal Properties from Knowledge Based Programs. SBIA (2008)