Ken R. Parker
According to our database1,
Ken R. Parker
authored at least 6 papers
between 1985 and 1991.
Collaborative distances:
Collaborative distances:
Timeline
1985
1986
1987
1988
1989
1990
1991
0
1
2
3
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1991
Tool Demonstration: FORSEE.
Proceedings of the Formal Description Techniques, 1991
1990
The PROMPT Automatic Implementation Tool - Initial Impressions.
Proceedings of the Formal Description Techniques, 1990
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990
1989
Verification Results for ISO FTAM Basic Protocol.
Proceedings of the Protocol Specification, 1989
1988
CSIRONET's Terabit File Store.
Aust. Comput. J., 1988
1985