| |
| 1994 | ||
|---|---|---|
| 2 | Hugh McGuire, Zohar Manna, Richard J. Waldinger: Annotation-Based Deduction in Temporal Logic. ICTL 1994: 430-444 | |
| 1993 | ||
| 1 | Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli: A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993: 97-109 | |
| 1 | Yonit Kesten | [1] |
| 2 | Zohar Manna | [1] [2] |
| 3 | Amir Pnueli | [1] |
| 4 | Richard J. Waldinger | [2] |