✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || ICS: Integrated Canonizer and Solver?

✍ Scribed by Berry, Gérard; Comon, Hubert; Finkel, Alain

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

✍ Halbwachs, Nicolas; Peled, Doron 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 494 KB

[Lecture Notes in Computer Science] Comp

✍ Damm, Werner; Hermanns, Holger 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 177 KB

[Lecture Notes in Computer Science] Comp

✍ Berry, Gérard; Comon, Hubert; Finkel, Alain 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 183 KB

[Lecture Notes in Computer Science] Comp

✍ Dill, David L. 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 820 KB

[Lecture Notes in Computer Science] Comp

✍ Brinksma, Ed; Larsen, Kim Guldstrand 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 150 KB

[Lecture Notes in Computer Science] Comp

✍ Alur, Rajeev; Henzinger, Thomas A. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 960 KB