Monitoring distributed reactive systems

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]

Authors

Yu Bai

This author has not been identified. Look up 'Yu Bai' in Google

Jens Brandt

This author has not been identified. It may be one of the following persons: Look up 'Jens Brandt' in Google

Klaus Schneider

This author has not been identified. Look up 'Klaus Schneider' in Google