On Properties of Policy-Based Specifications. Margheri, A.; Pugliese, R.; and Tiezzi, F. In WWV, volume 188, of EPTCS, pages 33–50, 2015.
bibtex   
@inproceedings{DBLP:journals/corr/MargheriPT15,
  author    = {Andrea Margheri and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {On Properties of Policy-Based Specifications},
  booktitle = {{WWV}},
  series    = {{EPTCS}},
  volume    = {188},
  pages     = {33--50},
  year      = {2015}
}
Downloads: 0