✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2076 || Symbolic Trace Analysis of Cryptographic Protocols

✍ Scribed by Orejas, Fernando; Spirakis, Paul G.; van Leeuwen, Jan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

✍ Loeckx, J. 📂 Article 📅 1974 ⚖ 785 KB

[Lecture Notes in Computer Science] Auto

✍ Paredaens, Jan 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 539 KB

[Lecture Notes in Computer Science] STAC

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

[Lecture Notes in Computer Science] Auto

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

[Lecture Notes in Computer Science] Auto

✍ Ottmann, Thomas 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 945 KB