Protocol validation in complex systems
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Hi-index | 0.00 |