Yu Bai, Jens Brandt, Klaus Schneider. Monitoring distributed reactive systems. In 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012. pages 84-91, IEEE Computer Society, 2012. [doi]
Abstract is missing.