You are here

Home › Research › Publications ›

Proceedings of the $8^{th}$ International Workshop on Runtime Verification (RV'08)

TitleProceedings of the $8^{th}$ International Workshop on Runtime Verification (RV'08)
Publication TypeConference Proceedings
Year of Publication2008
EditorLeucker, M
Volume5289
Date PublishedMarch
PublisherSpringer
URLhttp://www.springer.com/978-3-540-89246-5
Bibtex: 
@proceedings {Leucker08,
	title = {Proceedings of the $8^{th}$ International Workshop on Runtime Verification (RV{\textquoteright}08)},
	volume = {5289},
	year = {2008},
	month = {March},
	publisher = {Springer},
	url = {http://www.springer.com/978-3-540-89246-5},
	editor = {Martin Leucker}
}