Temporal logics and their applications /
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Academic Press,
1987
|
| Subjects: |
57
| Main Author: | |
|---|---|
| Format: | |
| Published: |
London : Academic Press,
1987
|
| Subjects: |