Robert de B. Johnston

	1997
3		Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston: A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. FME 1997: 398-417
	1990
2		M. Hakan Erdogmus, Robert de B. Johnston: An Approach to Specifying and Synthesizing Communicating Processes. FORTE 1990: 111-126
	1987
1		Kevin Rea, Robert de B. Johnston: Automated Analysis of Discrete Communication Behavior. IEEE Trans. Software Eng. 13(10): 1115-1126 (1987)

Coauthor Index

1	Hakan Erdogmus (M. Hakan Erdogmus)	[2]
2	Michael J. Ferguson	[3]
3	Abdelillah Mokkedem (Abdel Mokkedem)	[3]
4	Kevin Rea	[1]

Colors in the list of coauthors