| * | 1989 | |
|---|---|---|
| 2 | Behnam Banieqbal, Howard Barringer, Amir Pnueli: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings Springer 1989 | |
| 1987 | ||
| 1 | Behnam Banieqbal, Howard Barringer: Temporal Logic with Fixed Points. Temporal Logic in Specification 1987: 62-74 | |
| 1 | Howard Barringer | [1] [2] |
| 2 | Amir Pnueli | [2] |