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}
}