Symposium on Abstraction, Reformulation, and Approximation
Ninth Symposium of Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Reformulation for the Diagnosis of Discrete-Event Systems

Grastien, Torta




Search conference