An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Research: Probabilistic fuzzy timed protocol verification
Computer Communications
Hi-index | 0.00 |