 | 1988 |
| 4 |  | 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): 301-316 (1988) |
| 1986 |
| 3 |  | Geoffrey R. Wheeler,
Timothy J. Batten,
Jonathan Billington,
Michael C. Wilbur-Ham:
A Methodology for Protocol Engineering.
ICCC 1986: 525-530 |
| 1985 |
| 2 |  | 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: 435-452 |
| 1 |  | Jonathan Billington,
Michael C. Wilbur-Ham,
M. Y. Bearman:
Automated protocol verification.
PSTV 1985: 59-70 |