✦ LIBER ✦

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification

✍ Scribed by Gastin, Paul; Laroussinie, François

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] CONC

✍ Gastin, Paul; Laroussinie, François 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 260 KB

[Lecture Notes in Computer Science] CONC

✍ Gastin, Paul; Laroussinie, François 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 259 KB