iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/ipl/Blanchet05.ris
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 -