✦ LIBER ✦

Efficient timed model checking for discrete-time systems

✍ Scribed by F. Laroussinie; N. Markey; Ph. Schnoebelen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient model-checking of dense-time s

✍ Wang, Farn 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 713 KB

Optimal discrete-time models for continu

✍ Salem A.K Al-Assadi; Azzam A Marouf 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 592 KB

Modelling of time-varying discrete-time

✍ Wang, G.; Chen, Q.; Ren, Z. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 483 KB

Stable reduced-order models for discrete

✍ Farsi, M.; Warwick, K.; Guilandoust, M. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 546 KB

Stable reduced-order models for discrete

✍ Lucas, T.N. 📂 Article 📅 1987 🏛 The Institution of Electrical Engineers ⚖ 129 KB

Stable reduced-order models for discrete

✍ Warwick, K. 📂 Article 📅 1987 🏛 The Institution of Electrical Engineers ⚖ 232 KB