Konstantinos Antonis, Nikos S. Voros. Applying formal methods for the design of wireless telecommunication systems. In Tasos Dagiuklas, Nicolas Sklavos, editors, Proceedings of the 3rd International Conference on Mobile Multimedia Communications, MobiMedia 2007, Nafpaktos, Greece, August 27-29, 2007. Volume 329 of ACM International Conference Proceeding Series, pages 26, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), Brussels, Belgium, 2007. [doi]
Abstract is missing.