James F. Peters III

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1997

2 James F. Peters III: Mechanization of Real-Time Linear CSP with Higher Order Logic. Fundam. Inform. 29(1-2): 135-163 (1997)

1993

1 James F. Peters III: Reasoning About Real-Time Systems. Australian Computer Journal 25(4): 135-148 (1993)

	1997
2		James F. Peters III: Mechanization of Real-Time Linear CSP with Higher Order Logic. Fundam. Inform. 29(1-2): 135-163 (1997)
	1993
1		James F. Peters III: Reasoning About Real-Time Systems. Australian Computer Journal 25(4): 135-148 (1993)