Title
Design and Formal Specification of an X.25 Packet Level Protocol Implementation
Year
DOI
Venue
1978
10.1109/CMPSAC.1978.810550
COMPSAC
Keywords
Field
DocType
operating systems,debugging,formal specification,protocols,formal specifications,multiplexing,transmitters
Computer science,Network packet,Link level,Formal specification,Computer errors,Real-time computing,Multiplexing,X.25,Telecommunication computing,Debugging
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Schindler, S.100.68
Didier, J.200.34
Steinacker, M.300.34