Monitoring with Parametrized Extended Life Sequence Charts

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},
}