Title of article
Protocol converter validation through deductive inference: a case study
Author/Authors
Subir Das، نويسنده , , P. Dhar، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
7
From page
686
To page
692
Keywords
Protocol converter , Protocol validation , Specification
Journal title
Computer Communications
Serial Year
1998
Journal title
Computer Communications
Record number
308848
Link To Document