Property verification of communication protocols based on probabilistic reachability analysis

Midwest Symposium on Circuits and Systems

Volumn 3, Issue , 1996, Pages 1143-1146

  Baldi, Mario ^a   Macii, Enrico ^a   Poncino, Massimo ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC NETWORK ANALYSIS; FINITE AUTOMATA; PROBABILITY; TELECOMMUNICATION NETWORKS;

ALTERNATING BIT PROTOCOL; PROTOCOL STACKS;

NETWORK PROTOCOLS;

EID: 0030368615     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)