Ming Chai, Holger Schlingloff. A Rewriting Based Monitoring Algorithm for TPTL. In Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak, editors, Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. Volume 1032 of CEUR Workshop Proceedings, pages 61-72, CEUR-WS.org, 2013. [doi]
Abstract is missing.