Publication

InfoSpect: using a logic language for system health monitoring in distributed systems.
Timothy Roscoe, Richard Mortier, Paul W. Jardetzky, and Steven Hand
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, Proceedings of the 2002 ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002., January 2002
@inproceedings{abc,
	author = {Timothy Roscoe and Richard Mortier and Paul W. Jardetzky and Steven Hand},
	booktitle = {Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France},
	title = {InfoSpect: using a logic language for system health monitoring in distributed systems.},
	url = {http://doi.acm.org/10.1145/1133373.1133379},
	venue = {Proceedings of the 2002 ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.},
	year = {2002}
}