Title of article
Petri-nets for formal verification of MAC protocols
Author/Authors
Haines، نويسنده , , R.J.; Clemo، نويسنده , , G.R.; Munro، نويسنده , , A.T.D.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
9
From page
39
To page
47
Journal title
IEE Proceedings Software
Serial Year
2007
Journal title
IEE Proceedings Software
Record number
351995
Link To Document