|
Search the dblp DataBase
Michael C. Wilbur-Ham:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour
Protocol analysis using numerical Petri nets. [Citation Graph (0, 0)][DBLP] Applications and Theory in Petri Nets, 1985, pp:435-452 [Conf]
- Geoffrey R. Wheeler, Timothy J. Batten, Jonathan Billington, Michael C. Wilbur-Ham
A Methodology for Protocol Engineering. [Citation Graph (0, 0)][DBLP] ICCC, 1986, pp:525-530 [Conf]
- Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman
Automated protocol verification. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:59-70 [Conf]
- Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1988, v:14, n:3, pp:301-316 [Journal]
Search in 0.001secs, Finished in 0.001secs
|