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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=351995
