@ARTICLE{BlanchetPodelski2005,
AUTHOR = {Blanchet, Bruno and Podelski, Andreas},
TITLE = {Verification of Cryptographic Protocols: Tagging Enforces Termination},
JOURNAL = {Theoretical Computer Science},
PUBLISHER = {Elsevier},
YEAR = {2005},
NUMBER = {1-2},
VOLUME = {333},
PAGES = {67--90},
ADDRESS = {Amsterdam, The Netherlands},
MONTH = {March},
ISBN = {0304-3975},
}
Entry last modified by Christine Kiesel, 01/28/2008