Runtime Verification for {LTL} and {TLTL}
| Title | Runtime Verification for {LTL} and {TLTL} |
| Publication Type | Miscellaneous |
| Year of Publication | 2007 |
| Authors | Bauer, A, Leucker, M, Schallhart, C |
| URL | http://wwwmayr.informatik.tu-muenchen.de:8080/techrep/advanced.search?dist0=0&submit=Suchen&where0=citkey&what0=%22TUM-I0724%22 |
Bibtex:
@booklet {LeuckerBS07TR,
title = {Runtime Verification for {LTL} and {TLTL}},
number = {TUM-I0724},
year = {2007},
publisher = {TU M{\"u}nchen},
url = {http://wwwmayr.informatik.tu-muenchen.de:8080/techrep/advanced.search?dist0=0\&submit=Suchen\&where0=citkey\&what0=\%22TUM-I0724\%22},
author = {Andreas Bauer and Martin Leucker and Christian Schallhart}
}PDF:
Postscript:
