@inproceedings{GPQ11b,
title = {Monitoring Distributed Systems Using Knowledge },
author = {Graf, Susanne and Peled, Doron and Quinton, Sophie},
year = {2011},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011.},
pages = {183-197},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6722},
team = {DCS},
}
