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]
@inproceedings{ChaiS15-1, title = {Monitoring with Parametrized Extended Life Sequence Charts}, author = {Ming Chai and Bernd-Holger Schlingloff}, year = {2015}, url = {http://ceur-ws.org/Vol-1492/Paper_09.pdf}, researchr = {https://researchr.org/publication/ChaiS15-1}, cites = {0}, citedby = {0}, pages = {88-102}, booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015}, editor = {Zbigniew Suraj and Ludwik Czaja}, volume = {1492}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }