TY  - BOOK
AU  - Manna,Zohar
AU  - Pnuieli,Amir
TI  - The temporal logic of reactive and concurrent systems: specification
SN  - 0387976647
PY  - 1991///
CY  - Nueva York
PB  -  Springer-Verlag
KW  - SISTEMAS REACTIVOS
KW  - MODELO CONCURRENTE
N1  -  Part I: Models of concurrency. -- Chapter 1: Basic models. -- Chapter 2: Modeling real concurrency. -- Part II: Specifications. -- Chapter 3: Temporal logic. -- Chapter 4: Properties of programs
ER  -