Title of article

An approach to cyclic protocol validation

Author/Authors

Hong Liu، نويسنده , , Raymond E. Miller، نويسنده ,

Issue Information

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

Pages

13

From page

1175

To page

1187

Keywords

Protocol validation , Fair reachability , Cyclic protocols

Journal title

Computer Communications

Serial Year

1996

Journal title

Computer Communications

Record number

308645