Last update: Thu Sep 27 02:15:07 MDT 2018
@InProceedings{Pnueli:1997:TDT, author = "A. Pnueli", title = "Two Decades of Temporal Logic: {Achievements} and Challenges", crossref = "IEEE:1997:ASF", pages = "78--78", year = "1997", bibdate = "Thu Apr 5 06:13:52 MDT 2001", bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib", acknowledgement = ack-nhfb, }