Runtime Verification for {LTL} and {TLTL}
Title | Runtime Verification for {LTL} and {TLTL} |
Publication Type | Journal Article |
Year of Publication | 2011 |
Authors | Bauer, A, Leucker, M, Schallhart, C |
Journal | ACM Transactions on Software Engineering and Methodology (TOSEM) |
Volume | 20 |
Issue | 4 |
Pagination | 14 |
URL | http://doi.acm.org/10.1145/2000799.2000800 |
DOI | 10.1145/2000799.2000800 |
Bibtex:
@article {LeuckerBS09Tosem, title = {Runtime Verification for {LTL} and {TLTL}}, journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)}, volume = {20}, year = {2011}, note = {in press}, pages = {14}, doi = {10.1145/2000799.2000800}, url = {http://doi.acm.org/10.1145/2000799.2000800}, author = {Andreas Bauer and Martin Leucker and Christian Schallhart} }
PDF: