@inproceedings{CTA07a,
title = {Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis },
author = {Cassez, Franck and Tripakis, Stavros and Altisen, Karine},
year = {2007},
booktitle = {ACSD '07: Proceedings of the Seventh International Conference on Application of Concurrency to System Design},
address = {Washington, DC, USA},
pages = {90--99},
publisher = {IEEE Computer Society},
team = {SYNC},
}