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]
Abstract is missing.