Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Hi-index | 0.00 |