TY  - RPRT
TI  - Applying Algebraic Specifications on Digital Right Management Systems
AU  - Nikolaos Triantafyllou
AU  - Katerina Ksystra
AU  - Petros Stefaneas
AU  - Panayiotis Frangos
PY  - 2011
UR  - https://arxiv.org/abs/1108.1482
ID  - 1108.1482
ER  -