Efficient decentralized monitoring of safety in distributed systems
By
BibTeX
@inproceedings{icse04j, author = "Sen, Koushik and Vardhan, Abhay and Agha, Gul and Rosu, Grigore", title = "Efficient Decentralized Monitoring of Safety in Distributed Systems", booktitle = "Submitted to ACM TOSEM [invited]", keywords = "formal methods, software engineering", year = "2006", }