@article{168827,
      url = {http://digitallibrary.un.org/record/168827},
      title = {Seeking synergy between the various possible verification  techniques : working paper /},
      publisher = {UN,},
      recid = {168827},
      pages = {7 p. :},
      address = {Geneva :. 1994-06-24},
      year = {1994},
      month = {Jun},
}