%A N. Kyriakopoulos %A R. Avenhaus %T Dynamic models in treaty verification %B Models for Security Policy in the Post-Cold War Era %E R.K. Huber %E R. Avenhaus %D 1996 %C Baden-Baden %I Nomos Verlagsgesellschaft %L iiasa4707