The temporal logic of reactive and concurrent systems, Specification
- Författare
- Zohar Manna
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | Cop. 1992 | USA, New York, Berlin | xiv, 427 sidor. |