A Formal Approach to Model SNMP Network Management Systems
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |