<i>DMaC</i>: Distributed Monitoring and Checking.

Wenchao Zhou Oleg Sokolsky Boon Thau Loo Insup Lee <i>DMaC</i>: Distributed Monitoring and Checking. 184-201 2009 RV http://dx.doi.org/10.1007/978-3-642-04694-0_13 conf/rv/2009 db/conf/rv/rv2009.html#ZhouSLL09