Conference item icon

Conference item

Policy Refinement Checking (extended abstract)

Actions


Authors


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
UUID:
uuid:5f23de4c-13be-425b-a3a3-6f552c75fa6d
Local pid:
cs:5571
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP