Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/ipl/Blanchet05
AU - Blanchet, Bruno
TI - Security protocols: from linear to classical logic by abstract interpretation.
JO - Inf. Process. Lett.
VL - 95
IS - 5
SP - 473
EP - 479
PY - 2005//
DO - 10.1016/J.IPL.2005.05.011
UR - https://doi.org/10.1016/j.ipl.2005.05.011
ER -