Hugh McGuire

	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

Coauthor Index

1	Yonit Kesten	[1]
2	Zohar Manna	[1] [2]
3	Amir Pnueli	[1]
4	Richard J. Waldinger	[2]