Combining Temporal Specification Techniques |
|
| Type | Conference paper [With referee] |
| Conference | ICTL '94 Temporal Logic |
| Editors | D.M. Gabbay and H.J. Ohlbach |
| Year | 1994 Month July Vol. 827 pp. 1-16 |
| Publisher | Springer-Verlag |
| Series | Lecture Notes in Artificial Intelligence |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |