@Inproceedings{EPTCS188.5,
  author    = {Margheri, Andrea and Pugliese, Rosario and Tiezzi, Francesco },
  year      = {2015},
  title     = {On Properties of Policy-Based Specifications},
  editor    = {ter Beek, Maurice H. and Lluch Lafuente, Alberto},
  booktitle = {{\rm Proceedings 11th International Workshop on}
               Automated Specification and Verification of Web Systems,
               {\rm Oslo, Norway, 23rd June 2015}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {188},
  publisher = {Open Publishing Association},
  pages     = {33-50},
  doi       = {10.4204/EPTCS.188.5},
}