D. King

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

4 Colin O'Halloran, R. D. Arthan, D. King: Using a Formal Specification Contractually. Formal Asp. Comput. 9(4): 349-358 (1997)

1994

3 D. King, J. Daroussin, M. Jamange: Proposal for a Spatial Organization Model in Soil Science (The Example of the European Communities Soil Map). JASIS 45(9): 705-717 (1994)

1987

2 J. Parker, A. Kennard, D. King: The `Window' Terminal. Comput. J. 30(6): 558-564 (1987)

1986

1 D. King, Y. H. Sun, Jerry B. Lingrel: Amino acid sequence of the testosterone-regulated mouse kidney RP2 protein deduced from its complementary DNA sequence. Nucleic Acids Research 14(13): 5159-5170 (1986)

	1997
4		Colin O'Halloran, R. D. Arthan, D. King: Using a Formal Specification Contractually. Formal Asp. Comput. 9(4): 349-358 (1997)
	1994
3		D. King, J. Daroussin, M. Jamange: Proposal for a Spatial Organization Model in Soil Science (The Example of the European Communities Soil Map). JASIS 45(9): 705-717 (1994)
	1987
2		J. Parker, A. Kennard, D. King: The `Window' Terminal. Comput. J. 30(6): 558-564 (1987)
	1986
1		D. King, Y. H. Sun, Jerry B. Lingrel: Amino acid sequence of the testosterone-regulated mouse kidney RP2 protein deduced from its complementary DNA sequence. Nucleic Acids Research 14(13): 5159-5170 (1986)

Coauthor Index