Model checking usage policies
BARTOLETTI, MASSIMO; DEGANO, PIERPAOLO; FERRARI, GIAN LUIGI; ZUNINO, ROBERTO
- 期刊名称Mathematical Structures in Computer Science
- 作者BARTOLETTI, MASSIMO; DEGANO, PIERPAOLO; FERRARI, GIAN LUIGI; ZUNINO, ROBERTO
- 卷第25卷
- 期第3期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小783.39KB
- 发表时间2015-03
- DOI10.1017/S096012951200093X
- 页码710-763