✦ LIBER ✦

Timed automata with urgent transitions

✍ Scribed by Roberto Barbuti; Luca Tesei

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timed tree automata with an application

✍ Salvatore La Torre; Margherita Napoli 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 210 KB

Reachability results for timed automata

✍ Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 717 KB

Conformance Tests for Real-Time Systems

✍ Rachel Cardell-Oliver 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 174 KB

Efficient verification of timed automata

✍ Farn Wang 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 905 KB

Automata with transition self-correction

✍ M. G. Karpovskii; N. S. Shcherbakov 📂 Article 📅 1971 🏛 Springer US 🌐 English ⚖ 328 KB

Finite stochastic automata with variable

✍ J. J. Paredaens 📂 Article 📅 1973 🏛 Springer Vienna 🌐 English ⚖ 742 KB