| 1992 |
|---|
| 7 | | Ken R. Parker,
Gordon A. Rose:
Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
North-Holland 1992 |
| 1991 |
|---|
| 6 | | Jonathan Billington,
Geoffrey R. Wheeler,
Brian Keck,
Ken R. Parker:
Tool Demonstration: FORSEE.
FORTE 1991: 457-461 |
| 1990 |
|---|
| 5 | | Richard Lai,
Ken R. Parker,
Tharam S. Dillon:
On Using Protean To Verify ISO FTAM Protocol.
CAV 1990: 126-135 |
| 4 | | Ken R. Parker:
The PROMPT Automatic Implementation Tool - Initial Impressions.
FORTE 1990: 571-576 |
| 1989 |
|---|
| 3 | | Richard Lai,
Tharam S. Dillon,
Ken R. Parker:
Verification Results for ISO FTAM Basic Protocol.
PSTV 1989: 223-234 |
| 1988 |
|---|
| 2 | | B. R. Lederer,
R. J. Dakin,
Ken R. Parker,
A. L. V. Cook:
CSIRONET's Terabit File Store.
Australian Computer Journal 20(1): 33-40 (1988) |
| 1985 |
|---|
| 1 | | R. J. Dakin,
B. R. Lederer,
Ken R. Parker:
A Large Scale Network Storage Facility.
Softw., Pract. Exper. 15(9): 889-899 (1985) |
