A procedure for probabilistic protocol verification and evaluation

Saved in:
Bibliographic Details
Published in:IEEE transactions on communications 1992-07, Vol.40 (7), p.1183-1191
Main Authors: DIMITRIJEVIC, D. D, MON-SONG CHEN
Format: Article
Language:English
Subjects:
Access methods and protocols, osi model
Applied sciences
Exact sciences and technology
Telecommunications
Telecommunications and information theory
Teleprocessing networks. Isdn
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0090-6778
1558-0857
DOI:10.1109/26.153362