On specifying and monitoring epistemic properties of distributed systems
By
BibTeX
@inproceedings{woda04, author = "Sen, Koushik and Vardhan, Abhay and Agha, Gul and Rosu, Grigore", title = "On Specifying and Monitoring Epistemic Properties of Distributed Systems", booktitle = "In 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, pages 32-35. British Institution of Electrical Engineers (IEE), May 2004.", keywords = "formal methods, sensor networks, real-time systems, software engineering", year = "2004", }