Comparing {LTL} Semantics for Runtime Verification
| Title | Comparing {LTL} Semantics for Runtime Verification |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Bauer, A, Leucker, M, Schallhart, C |
| Journal | Journal of Logic and Computation |
| Volume | 20 |
| Pagination | 651–674 |
| URL | http://dx.doi.org/10.1093/logcom/exn075 |
| DOI | 10.1093/logcom/exn075 |
Bibtex:
@article {LeuckerBS08JLC,
title = {Comparing {LTL} Semantics for Runtime Verification},
journal = {Journal of Logic and Computation},
volume = {20},
number = {3},
year = {2010},
pages = {651{\textendash}674},
doi = {10.1093/logcom/exn075},
url = {http://dx.doi.org/10.1093/logcom/exn075},
author = {Andreas Bauer and Martin Leucker and Christian Schallhart}
}PDF:
Postscript:
