Title of article :
Using binary decision diagrams for representation and analysis of communication protocols
Author/Authors :
R. Sisto، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Pages :
18
From page :
81
To page :
98
Keywords :
Protocol engineering , Symbolic model checking , LOTOS , binary decision diagrams
Journal title :
Computer Networks
Serial Year :
2000
Journal title :
Computer Networks
Record number :
298771
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=298771
