مرکز منطقه ای اطلاع رساني علوم و فناوري - Erratum to ‘Protocol validation by simultaneous reachability analysis’ : [Computer Communications 20 (1997) 772

Title of article :

Erratum to ‘Protocol validation by simultaneous reachability analysis’ : [Computer Communications 20 (1997) 772–788]

Author/Authors :

Kadir ozdemir، نويسنده , , Hasan Ural، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

591

To page :

591

Journal title :

Computer Communications

Serial Year :

1998

Journal title :

Computer Communications

Record number :

308839

Link To Document :