114
click to vote
RV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...