Verification of Cryptographic Protocols: Tagging Enforces Termination (bibtex)
by Bruno Blanchet, Andreas Podelski
Reference:
Verification of Cryptographic Protocols: Tagging Enforces Termination (Bruno Blanchet, Andreas Podelski), In Theoretical Computer Science, volume 333, 2005. (Special issue FoSSaCS'03.)
Bibtex Entry:
@Article{BlanchetPodelskiTCS04,
  author = 	 {Bruno Blanchet and Andreas Podelski},
  title = 	 {Verification of Cryptographic Protocols: Tagging Enforces Termination},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2005},
  volume = 	 {333},
  number = 	 {1-2},
  pages = 	 {67--90},
  month = 	 mar,
  note = 	 {Special issue FoSSaCS'03.},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetPodelskiTCS04.html}
}
Powered by bibtexbrowser