Heikki Lindholm, Lirim Osmani, Hannu Flinck, Sasu Tarkoma, Ashwin Rao. State Space Analysis to Refactor the Mobile Core. In David R. Choffnes, Kobus van der Merwe, editors, Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges, AllThingsCellular@SIGCOMM 2015, London, United Kingdom, August 17, 2015. pages 31-36, ACM, 2015. [doi]
Abstract is missing.