James F. Peters III

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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)