| |
| 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 | |
| 1 | Norbert Götz | [1] |
| 2 | Martin Hofmann | [4] |
| 3 | Michael Mendler | [1] [2] [3] |
| 4 | Wolfgang Naraschewski | [4] |
| 5 | Martin Steffen | [4] |