TY  - JOUR
AU  - Avenhaus, R.
AU  - Canty, M. J.
TI  - Formal models for NPT safeguards: Invited review
JO  - Journal of nuclear materials management
VL  - 35
SN  - 0893-6188
M1  - PreJuSER-59676
SP  - 69 - 74
PY  - 2007
N1  - Record converted from VDB: 12.11.2012
LB  - PUB:(DE-HGF)16
UR  - https://juser.fz-juelich.de/record/59676
ER  -