Monitoring Systems with Extended Live Sequence Charts.

Ming Chai, Bernd-Holger Schlingloff

Browse the full RV paper archive.