Modular Verification of Computer Communication Protocols
IEEE Transactions on Communications
doi 10.1109/tcom.1983.1095720
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1983
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)