Runtime verification revisited

TitleRuntime verification revisited
Publication TypeReport
Year of Publication2005
AuthorsArafat, O, Bauer, A, Leucker, M, Schallhart, C
Series TitleTechnical report TUM-I0518, Institut für Informatik, Technische Universität München
Date Published10/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}
}