@incollection{iiasa4707,
       booktitle = {Models for Security Policy in the Post-Cold War Era},
          editor = {R.K. Huber and R. Avenhaus},
           title = {Dynamic models in treaty verification},
         address = {Baden-Baden},
       publisher = {Nomos Verlagsgesellschaft},
            year = {1996},
             url = {https://pure.iiasa.ac.at/id/eprint/4707/},
          author = {Kyriakopoulos, N. and Avenhaus, R.}
}