On the Expressiveness of Parameterized Finite-state Runtime Monitors

Bodden, Eric

On the Expressiveness of Parameterized Finite-state Runtime Monitors (bibtex)

@techreport{TUD-CS-2012-0013,
	author = {Eric Bodden},
	title = {On the Expressiveness of Parameterized Finite-state Runtime Monitors},
	month = jan,
	year = {2012},
	institution = {CASED},
	number = {TUD-CS-2012-0013},
	url = {https://www.bodden.de/pubs/TUD-CS-2012-0013.pdf},
}