Reflecting on adaptive distributed monitoring
By
BibTeX
@inproceedings{fmco2007, author = "Donkervoet, Bill and Agha, Gul", title = "Reflecting on Adaptive Distributed Monitoring", booktitle = "Formal Methods for Components and Objects", keywords = "formal methods, programming languages", year = "2007", }