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]
@inproceedings{BarringerGHS04:0,
title = {Program Monitoring with LTL in EAGLE},
author = {Howard Barringer and Allen Goldberg and Klaus Havelund and Koushik Sen},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/17/2132170264babs.htm},
researchr = {https://researchr.org/publication/BarringerGHS04%3A0},
cites = {0},
citedby = {0},
booktitle = {18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2132-0},
}