Paper Info
Title
Petri-nets for formal verification of MAC protocols
Year
DOI
Venue
2007
10.1049/IET-SEN:20060057
IET Software
DocType
Volume
Citations 
Journal
1
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Russell J. Haines100.34
Gary Clemo2397.51
Alistair D. Munro330.75