✦ LIBER ✦

[Lecture Notes in Computer Science] STACS 2004 Volume 2996 || Automata-Based Analysis of Recursive Cryptographic Protocols

✍ Scribed by Diekert, Volker; Habib, Michel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] STAC

✍ Diekert, Volker; Habib, Michel 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 212 KB

[Lecture Notes in Computer Science] Auto

✍ Orejas, Fernando; Spirakis, Paul G.; van Leeuwen, Jan 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 201 KB

[Lecture Notes in Computer Science] Cell

✍ Umeo, Hiroshi; Morishita, Shin; Nishinari, Katsuhiro; Komatsuzaki, Toshihiko; Ba 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 394 KB

[Lecture Notes in Computer Science] Pers

✍ Pnueli, Amir; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 290 KB

[Lecture Notes in Computer Science] Comp

✍ Ablayev, Farid; Mayr, Ernst W. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 275 KB

[Lecture Notes in Computer Science] Veri

✍ Cousot, Radhia 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 446 KB