Model-based analysis of nuclear arms control verification processes
Reduction of nuclear arms in a verifiable manner that is trusted by two or more parties is a hard but important problem. Nations and organisations that wish to engage in such arms control verification activities need to be able to design procedures and control mechanisms that let them compute pertin...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Imperial College London
2017
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.733189 |