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:
