The design and implementation of formal monitoring techniques (bibtex)
@inproceedings{OOPSLATheDesign,
	Author = {Eric Bodden},
	Booktitle = {OOPSLA '07: Companion of the 22nd annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
	Month = oct,
	Note = {Doctoral Symposium},
	Title = {The design and implementation of formal monitoring techniques},
	Url = {http://www.bodden.de/pubs/bodden07thedesign-oopsla.pdf},
	Year = {2007},
	Bdsk-Url-1 = {http://www.bodden.de/pubs/bodden07thedesign-oopsla.pdf}}
Powered by bibtexbrowser