Conference item
Policy Refinement Checking (extended abstract)
Actions
Authors
Bibliographic Details
- Host title:
- Proceedings of 9th Symposium on Automated Verification of Critical Systems (AvoCS’09)‚ Technical Report CSR−2−2009‚ Swansea University
- Publication date:
- 2009-09-01
Item Description
- UUID:
-
uuid:5f23de4c-13be-425b-a3a3-6f552c75fa6d
- Local pid:
- cs:5571
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2009
If you are the owner of this record, you can report an update to it here: Report update to this record