Andreas Bauer 0002, Martin Leucker, Christian Schallhart. Runtime Verification for LTL and TLTL. ACM Transactions on Software Engineering Methodology, 20(4):14, 2011. [doi]
@article{BauerLS11, title = {Runtime Verification for LTL and TLTL}, author = {Andreas Bauer 0002 and Martin Leucker and Christian Schallhart}, year = {2011}, doi = {10.1145/2000799.2000800}, url = {http://doi.acm.org/10.1145/2000799.2000800}, researchr = {https://researchr.org/publication/BauerLS11}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Software Engineering Methodology}, volume = {20}, number = {4}, pages = {14}, }