@inproceedings{CTA07b,
title = {Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems },
author = {Cassez, Franck and Tripakis, Stavros and Altisen, Karine},
year = {2007},
booktitle = {TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering},
address = {Washington, DC, USA},
pages = {316--325},
publisher = {IEEE Computer Society},
team = {SYNC},
}