DocumentCode
1848096
Title
Design of correct communication protocols through analysis and synthesis
Author
Chang, Ye-In ; Chen, Jui-Hsiang
fYear
1994
fDate
12-15 April 1994
Firstpage
127
Keywords
Algorithm design and analysis; Automata; Channel capacity; Error correction; Event detection; Explosions; Mathematics; Protocols; Reachability analysis; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers and Communications, 1994., IEEE 13th Annual International Phoenix Conference on
Conference_Location
Phoenix, AZ, USA
Print_ISBN
0-7803-1814-5
Type
conf
DOI
10.1109/PCCC.1994.504103
Filename
504103
Link To Document