Ming Chai, Bernd-Holger Schlingloff. Monitoring with Parametrized Extended Life Sequence Charts. In Zbigniew Suraj, Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. Volume 1492 of CEUR Workshop Proceedings, pages 88-102, CEUR-WS.org, 2015. [doi]
Abstract is missing.