Ken R. Parker

Publication Activity (10 Years)

Years Active: 1985-1991
Publications (10 Years): 0

Publications

Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker
Tool Demonstration: FORSEE. FORTE (1991)
Richard Lai, Ken R. Parker, Tharam S. Dillon
On Using Protean To Verify ISO FTAM Protocol. CAV (1990)
Ken R. Parker
The PROMPT Automatic Implementation Tool - Initial Impressions. FORTE (1990)
Richard Lai, Tharam S. Dillon, Ken R. Parker
Verification Results for ISO FTAM Basic Protocol. PSTV (1989)
B. R. Lederer, R. J. Dakin, Ken R. Parker, A. L. V. Cook
CSIRONET's Terabit File Store. Aust. Comput. J. 20 (1) (1988)
R. J. Dakin, B. R. Lederer, Ken R. Parker
A Large Scale Network Storage Facility. Softw. Pract. Exp. 15 (9) (1985)