J-LO - A tool for runtime-checking temporal assertions

Bodden, Eric

J-LO - A tool for runtime-checking temporal assertions (bibtex)

@mastersthesis{THDiploma,
	Author = {Eric Bodden},
	Month = nov,
	School = {{RWTH} {A}achen University},
	Title = {{J-LO - A tool for runtime-checking temporal assertions}},
	Type = {Diploma Thesis},
	Url = {https://www.bodden.de/pubs/bodden05jlo.pdf},
	Year = {2005},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden05jlo.pdf}}