| Original language | English |
|---|---|
| Title of host publication | host publication |
| Publisher | Academic Press, Ltd |
| Pages | 53-97 |
| Number of pages | 45 |
| Publication status | Published - 1987 |
Temporal Logic and its Applications
Howard Barringer
Research output: Chapter in Book/Conference proceeding › Chapter