You are here

Home › Research › Publications ›

Topology, monitorable properties and runtime verification

TitleTopology, monitorable properties and runtime verification
Publication TypeJournal Article
Year of Publication2014
AuthorsDiekert, V, Leucker, M
JournalTheor. Comput. Sci.
Volume537
Pagination29–41
URLhttp://dx.doi.org/10.1016/j.tcs.2014.02.052
DOI10.1016/j.tcs.2014.02.052
Bibtex: 
@article {1151,
	title = {Topology, monitorable properties and runtime verification},
	journal = {Theor. Comput. Sci.},
	volume = {537},
	year = {2014},
	pages = {29{\textendash}41},
	doi = {10.1016/j.tcs.2014.02.052},
	url = {http://dx.doi.org/10.1016/j.tcs.2014.02.052},
	author = {Volker Diekert and Martin Leucker}
}