Runtime verification revisited
Title | Runtime verification revisited |
Publication Type | Report |
Year of Publication | 2005 |
Authors | Arafat, O, Bauer, A, Leucker, M, Schallhart, C |
Series Title | Technical report TUM-I0518, Institut für Informatik, Technische Universität München |
Date Published | 10/2005 |
Bibtex:
@article {1157, title = {Runtime verification revisited}, year = {2005}, month = {10/2005}, author = {Oliver Arafat and Andreas Bauer and Martin Leucker and Christian Schallhart} }