
Logics and Models of Real-Time: A Survey
R. Alur and T. Henzinger. Logics and Models of Real-Time: A Survey. In Real Time: Theory in Practice, pp. 74–106, Springer-Verlag, 1992.
Download: [pdf]
Abstract:
(unavailable)
BibTeX: (download)
@INPROCEEDINGS{alur92:_logic_model_real_time, author = {R. Alur and T. Henzinger}, title = {Logics and Models of Real-Time: A Survey}, booktitle = {Real Time: Theory in Practice}, year = {1992}, volume = {600}, pages = {74--106}, publisher = {Springer-Verlag}, }
Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33