A Brief Account of Runtime Verification

TitleA Brief Account of Runtime Verification
Publication TypeJournal Article
Year of Publication2009
AuthorsLeucker, M, Schallhart, C
JournalJournal of Logic and Algebraic Programming
Volume78
Pagination293-303
Date Publishedmay/june
URLhttp://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}
}