% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Avenhaus:59676,
      author       = {Avenhaus, R. and Canty, M. J.},
      title        = {{F}ormal models for {NPT} safeguards: {I}nvited review},
      journal      = {Journal of nuclear materials management},
      volume       = {35},
      issn         = {0893-6188},
      reportid     = {PreJuSER-59676},
      pages        = {69 - 74},
      year         = {2007},
      note         = {Record converted from VDB: 12.11.2012},
      cin          = {ICG-4},
      cid          = {I:(DE-Juel1)VDB793},
      pnm          = {Terrestrische Umwelt},
      pid          = {G:(DE-Juel1)FUEK407},
      typ          = {PUB:(DE-HGF)16},
      url          = {https://juser.fz-juelich.de/record/59676},
}