@inproceedings{325699,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Temporal abstract interpretation},
 booktitle = {POPL '00: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2000},
 isbn = {1-58113-125-9},
 pages = {12--25},
 location = {Boston, MA, USA},
 doi = {http://doi.acm.org/10.1145/325694.325699},
 publisher = {ACM},
 address = {New York, NY, USA},
 }