Terry Stroup

	1998
4		Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup: Inheritance of Proofs. TAPOS 4(1): 51-69 (1998)
	1993
3		Michael Mendler, Terry Stroup: Newtonian Arbiters Cannot be Proven Correct. Formal Methods in System Design 3(3): 233-257 (1993)
	1992
2		Michael Mendler, Terry Stroup: Newtonian Arbiters Cannot be Proven Correct. Designing Correct Circuits 1992: 47-66
	1989
1		Terry Stroup, Norbert Götz, Michael Mendler: Stepwise Refinement of Layered Protocols by Formal Program Development. PSTV 1989: 71-85

Coauthor Index

1	Norbert Götz	[1]
2	Martin Hofmann	[4]
3	Michael Mendler	[1] [2] [3]
4	Wolfgang Naraschewski	[4]
5	Martin Steffen	[4]

Colors in the list of coauthors