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 = {http://www.bodden.de/pubs/bodden05jlo.pdf},
	Year = {2005},
	Bdsk-Url-1 = {http://www.bodden.de/pubs/bodden05jlo.pdf}}
Powered by bibtexbrowser