Algebraic Specifications for OMA REL Licenses

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]

@inproceedings{TriantafyllouOS09,
  title = {Algebraic Specifications for OMA REL Licenses},
  author = {Nikolaos Triantafyllou and Iakovos Ouranos and Petros S. Stefaneas},
  year = {2009},
  doi = {10.1109/WiMob.2009.70},
  url = {http://doi.ieeecomputersociety.org/10.1109/WiMob.2009.70},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/TriantafyllouOS09},
  cites = {0},
  citedby = {0},
  pages = {376-381},
  booktitle = {5th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2009, Marrakech, Morocco, 12-14 October 2009, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3841-9},
}