Protocol conversion: an algorithmic approach

Authors:
Murali Rajagopal;R. E. Miller;C. T. Lea
Affiliations:
-;-;-
Venue:
Protocol conversion: an algorithmic approach
Year:
1990

Citing 0
Cited 2

Synthesizing a Protocol Converter From Executable Protocol Traces

IEEE Transactions on Computers - Special issue on protocol engineering
Case study: Protocol converter validation through deductive inference: a case study

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract