Eva Hedman, Simon Hoff. Simulation and formal specification of protocols for mobile radio networks-an integrated approach. In Proceedings of 44th IEEE Vehicular Technology Conference: Creating Tomorrow's Mobile Systems, VTC 1994, 8-10 June 1994, Stockholm, Sweden. pages 654-658, IEEE, 1994. [doi]
Abstract is missing.