Michael C. Wilbur-Ham

Publication Activity (10 Years)

Years Active: 1985-1988
Publications (10 Years): 0

Publications

Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. IEEE Trans. Software Eng. 14 (3) (1988)
Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham
A Methodology for Protocol Engineering. ICCC (1986)
Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman
Automated protocol verification. PSTV (1985)
Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour
Protocol analysis using numerical Petri nets. Applications and Theory in Petri Nets (1985)