A Brief Account of Runtime Verification
| Title | A Brief Account of Runtime Verification |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Leucker, M, Schallhart, C |
| Journal | Journal of Logic and Algebraic Programming |
| Volume | 78 |
| Pagination | 293-303 |
| Date Published | may/june |
| URL | http://dx.doi.org/10.1016/j.jlap.2008.08.004 |
Bibtex:
@article {LeuckerS08jlap,
title = {A Brief Account of Runtime Verification},
journal = {Journal of Logic and Algebraic Programming},
volume = {78},
number = {5},
year = {2009},
month = {may/june},
pages = {293-303},
url = {http://dx.doi.org/10.1016/j.jlap.2008.08.004},
author = {Martin Leucker and Christian Schallhart}
}PDF:
