Eric Bodden, Hans Vangheluwe. Transforming Timeline Specifications into Automata for Runtime Monitoring. In Andy Schürr, Manfred Nagl, Albert Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Volume 5088 of Lecture Notes in Computer Science, pages 249-264, Springer, 2007. [doi]
Abstract is missing.