Gianfranco Lamperti, Federica Vivenzi, Marina Zanella
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems
ICEIS, 2008.
@inproceedings{ICEIS-AIDSS-2008-LampertiVZ, author = "Gianfranco Lamperti and Federica Vivenzi and Marina Zanella", booktitle = "{Proceedings of the 10th International Conference on Enterprise Information Systems, Volume 2: AIDSS}", isbn = "978-989-8111-37-1", pages = "44--53", title = "{On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems}", year = 2008, }