Eric Bodden. A lightweight LTL runtime verification tool for java. In John M. Vlissides, Douglas C. Schmidt, editors, 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. pages 306-307, ACM, 2004. [doi]
@inproceedings{Bodden04,
title = {A lightweight LTL runtime verification tool for java},
author = {Eric Bodden},
year = {2004},
doi = {10.1145/1028664.1028776},
url = {http://doi.acm.org/10.1145/1028664.1028776},
tags = {Java},
researchr = {https://researchr.org/publication/Bodden04},
cites = {0},
citedby = {0},
pages = {306-307},
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},
editor = {John M. Vlissides and Douglas C. Schmidt},
publisher = {ACM},
isbn = {1-58113-833-4},
}