@InProceedings{Roscoe_SIGOPS_2002,
   Author       = "Timothy Roscoe and Richard Mortier and Paul Jardetzky
                   and Steven Hand",
   Title        = "{InfoSpect: Using a Logic Language for System Health
                   Monitoring in Distributed Systems}",
   Booktitle    = "Proceedings of the 10th ACM SIGOPS European Workshop",
   Address      = "Saint-Emilion, France",
   Pages        = "00--00",
   Month        = "September",
   Year         = 2002
}
% Page Numbers UNKNOWN