Search the dblp DataBase
Geoffrey R. Wheeler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Geoffrey R. Wheeler The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Application of Petri Nets to Communication Networks, 1999, pp:69-92 [Conf ] 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 ] Jonathan Billington , Geoffrey R. Wheeler , Brian Keck , Ken R. Parker Tool Demonstration: FORSEE. [Citation Graph (0, 0)][DBLP ] FORTE, 1991, pp:457-461 [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 , 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