Brett Strausser

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

Rachid Sijelmassi, Brett Strausser
The PET and DINGO Tools for Deriving Distributed Implementations from Estelle. Comput. Networks ISDN Syst. 25 (7) (1993)
Rachid Sijelmassi, Brett Strausser
NIST Integrated Tool Set for Estelle. FORTE (1990)