Ken R. Parker

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1992
e1		Ken R. Parker, Gordon A. Rose (Eds.): 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. IFIP Transactions C-2, North-Holland 1992, isbn 0-444-89402-0
	1991
c4		Jonathan Billington, Geoffrey R. Wheeler, Brian Keck, Ken R. Parker: Tool Demonstration: FORSEE. FORTE 1991: 457-461
	1990
c3		Richard Lai, Ken R. Parker, Tharam S. Dillon: On Using Protean To Verify ISO FTAM Protocol. CAV 1990: 126-135
c2		Ken R. Parker: The PROMPT Automatic Implementation Tool - Initial Impressions. FORTE 1990: 571-576
	1989
c1		Richard Lai, Tharam S. Dillon, Ken R. Parker: Verification Results for ISO FTAM Basic Protocol. PSTV 1989: 223-234
	1988
j2		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
j1		R. J. Dakin, B. R. Lederer, Ken R. Parker: A Large Scale Network Storage Facility. Softw., Pract. Exper. 15(9): 889-899 (1985)

Coauthor Index

1	Jonathan Billington	[c4]
2	A. L. V. Cook	[j2]
3	R. J. Dakin	[j2] [j1]
4	Tharam S. Dillon (Tharam Singh Dillon)	[c3] [c1]
5	Brian Keck	[c4]
6	Richard Lai	[c3] [c1]
7	B. R. Lederer	[j2] [j1]
8	Gordon A. Rose	[e1]
9	Geoffrey R. Wheeler	[c4]

Last update Fri May 24 04:54:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page