Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
Efficient Decentralized Monitoring of Safety in Distributed Systems
ICSE, 2004.
@inproceedings{ICSE-2004-SenVAR, author = "Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Rosu", booktitle = "{Proceedings of the 26th International Conference on Software Engineering}", doi = "10.1109/ICSE.2004.1317464", editor = "Anthony Finkelstein and Jacky Estublier and David S. Rosenblum", isbn = "0-7695-2163-0", pages = "418--427", publisher = "{IEEE Computer Society}", title = "{Efficient Decentralized Monitoring of Safety in Distributed Systems}", year = 2004, }