Security management via Z and CSP
Hoofdauteurs: | , , |
---|---|
Formaat: | Conference item |
Gepubliceerd in: |
Springer Series in Discrete Mathematics and Theoretical Computer Science
1998
|
Hoofdauteurs: | , , |
---|---|
Formaat: | Conference item |
Gepubliceerd in: |
Springer Series in Discrete Mathematics and Theoretical Computer Science
1998
|