✦ LIBER ✦

Directed model checking with distance-preserving abstractions

✍ Scribed by Klaus Dräger; Bernd Finkbeiner; Andreas Podelski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking with Abstract Types

✍ Kirsten Winter 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 336 KB

A Direct Symbolic Approach to Model Chec

✍ Alain Finkel; Bernard Willems; Pierre Wolper 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Direct stability evaluation of power sys

✍ K.R. Padiyar; K.K. Ghosh 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 732 KB

ChemInform Abstract: Cycloadditions of M

✍ A. CORSARO; G. BUEMI; U. CHIACCHIO; V. PISTARA; A. RESCIFINA 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 29 KB 👁 1 views