✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Aided Verification Volume 818 || Suspension automata: A decidable class of hybrid automata

✍ Scribed by Dill, David L.

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

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

[Lecture Notes in Computer Science] Comp

✍ Gupta, Aarti; Malik, Sharad 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 461 KB

[Lecture Notes in Computer Science] Comp

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

[Lecture Notes in Computer Science] Auto

✍ Cha, Sungdeok (Steve); Choi, Jin-Young; Kim, Moonzoo; Lee, Insup; Viswanathan, M 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 351 KB

[Lecture Notes in Computer Science] Auto

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