Guest editorialProtocol specification, testing, and verification
References (3)
Formal Modeling of Communication Protocols
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1982 Published by Elsevier B.V.