Alistair D. Munro

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Russell J. Haines, Gary Clemo, Alistair D. Munro
Petri-nets for formal verification of MAC protocols. IET Softw. 1 (2) (2007)