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

Presentations

Reading Tools
A Theory of Abstraction for Diagnosis of Discrete-Event Systems

Grastien, Torta




Search conference