@inproceedings{OOPSLALightweight, Author = {Eric Bodden}, Bibsource = {DBLP, https://dblp.uni-trier.de}, Booktitle = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada}, Ee = {10.1145/1028664.1028776}, Kind = {Workshop}, Month = oct, Note = {ACM Student Research Competition}, Pages = {306--307}, Title = {{A lightweight LTL runtime verification tool for Java}}, Url = {https://www.bodden.de/pubs/bodden04lightweight.pdf}, Year = {2004}, Publisher = {ACM}, Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden04lightweight.pdf}}