Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations (1995)

by P Herrmann, H Krumm
Venue:Protocol Specification, Testing, and Verification XV