Compositional Specification and Verification of High-Speed Transfer Protocols (1994)

Cached

Download Links

by Peter Herrmann , Heiko Krumm
Venue:PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION XIV
Citations:13 - 11 self