Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen. Program Monitoring with LTL in EAGLE. In 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA. IEEE Computer Society, 2004. [doi]
Abstract is missing.