DMCA
Temporal and modal logic (1995)
by
E. Allen Emerson
| Venue: | HANDBOOK OF THEORETICAL COMPUTER SCIENCE |
| Citations: | 1290 - 17 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}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We give a comprehensive and unifying survey of the theoretical aspects of Temporal and modal logic.
