Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas. Algebraic Specifications for OMA REL Licenses. In 5th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2009, Marrakech, Morocco, 12-14 October 2009, Proceedings. pages 376-381, IEEE Computer Society, 2009. [doi]
Abstract is missing.