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 = {http://www.bodden.de/pubs/TUD-CS-2012-0013.pdf},
}
Powered by bibtexbrowser