ViSim

swMATH43708MaRDI QIDQ5973493FDOQ5973493

Author name not available (Why is that?)

Official website: https://www.sciencedirect.com/science/article/pii/S0895717710004267

Cited In (1)

• Analysis of mobile networks' protocols based on abstract state machine

This page was built for software: ViSim