Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sara/GrastienT11
AU - Grastien, Alban
AU - Torta, Gianluca
TI - Reformulation for the Diagnosis of Discrete-Event Systems.
BT - Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011.
PY - 2011//
UR - http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4248
ER -
