✦ LIBER ✦

Symbolic model checking of timed guarded commands using difference decision diagrams

✍ Scribed by Jesper Møller; Henrik Hulgaard; Henrik Reif Andersen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic Determinant Decision Diagrams a

✍ Wim Verhaegen; Georges G. E. Gielen 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 152 KB

Automatic verification of operating sche

✍ Jinkyung Kim; Il Moon 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 630 KB

[IEEE 2010 IEEE 31st Real-Time Systems S

✍ Ehlers, Rudiger; Fass, Daniel; Gerke, Michael; Peter, Hans-Jorg 📂 Article 📅 2010 🏛 IEEE ⚖ 337 KB

[IEEE ASP-DAC '97: Asia and South Pacifi

✍ Vakilotojar, V.; Beerel, P.A. 📂 Article 📅 1997 🏛 IEEE ⚖ 964 KB

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views