Kaenel, "An environment for interactive design of communications architectures (1990)

by A A R Cockburn, W Citrin, R F Hauser, J von
Venue:in Proceedings of the 10th International Symposium on Protocol Specification, Testing, and Verification