Temporal and modal logic (1995)
by
E. Allen Emerson
| Venue: | HANDBOOK OF THEORETICAL COMPUTER SCIENCE |
| Citations: | 1009 - 14 self |
BibTeX
@INPROCEEDINGS{Emerson95temporaland,
author = {E. Allen Emerson},
title = {Temporal and modal logic},
booktitle = {HANDBOOK OF THEORETICAL COMPUTER SCIENCE},
year = {1995},
pages = {995--1072},
publisher = {Elsevier}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and modal logic.
