|
Search the dblp DataBase
Ken R. Parker:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Richard Lai, Ken R. Parker, Tharam S. Dillon
On Using Protean To Verify ISO FTAM Protocol. [Citation Graph (0, 0)][DBLP] CAV, 1990, pp:126-135 [Conf]
- Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker
Tool Demonstration: FORSEE. [Citation Graph (0, 0)][DBLP] FORTE, 1991, pp:457-461 [Conf]
- Ken R. Parker
The PROMPT Automatic Implementation Tool - Initial Impressions. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:571-576 [Conf]
- Richard Lai, Tharam S. Dillon, Ken R. Parker
Verification Results for ISO FTAM Basic Protocol. [Citation Graph (0, 0)][DBLP] PSTV, 1989, pp:223-234 [Conf]
- B. R. Lederer, R. J. Dakin, Ken R. Parker, A. L. V. Cook
CSIRONET's Terabit File Store. [Citation Graph (0, 0)][DBLP] Australian Computer Journal, 1988, v:20, n:1, pp:33-40 [Journal]
- R. J. Dakin, B. R. Lederer, Ken R. Parker
A Large Scale Network Storage Facility. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1985, v:15, n:9, pp:889-899 [Journal]
Search in 0.001secs, Finished in 0.001secs
|