dblp.uni-trier.dewww.uni-trier.de

Terry Stroup

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)