top

A Really Temporal Logic

R. Alur and T. Henzinger. A Really Temporal Logic. In 30th Annual Symposium on Foundations of Computer Science, pp. 164–169, IEEE Computer Society Press, New York, 1989.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{alur89:_reall_tempor_logic,
  author = {R. Alur and T. Henzinger},
  title = {A Really Temporal Logic},
  booktitle = {30th Annual Symposium on Foundations of Computer Science},
  year = {1989},
  pages = {164--169},
  address = {New York},
  publisher = {IEEE Computer Society Press},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33