Specification and analysis of the SNR high-speed transport protocol
IEEE/ACM Transactions on Networking (TON)
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Hi-index | 0.00 |