1 results
Model checking usage policies†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 3 / March 2015
- Published online by Cambridge University Press:
- 10 November 2014, pp. 710-763
-
- Article
- Export citation