Title of article

Formal verification and testing of protocols

Author/Authors

D. R. Avresky، نويسنده ,

Issue Information

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

Pages

10

From page

681

To page

690

Keywords

Protocols , Execution tree , formal verification , Reachability analysis

Journal title

Computer Communications

Serial Year

1999

Journal title

Computer Communications

Record number

308992