✦ LIBER ✦

Model checking on timed-event structures

✍ Scribed by Dasgupta, P.; Deka, J.K.; Chakrabarti, P.P.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking Timed Temporal Logics

✍ Patricia Bouyer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 364 KB

On model-checking timed automata with st

✍ Thomas Brihaye; Véronique Bruyère; Jean-François Raskin 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 623 KB

Semantic domains of timed event structur

✍ I. B. Virbitskaite; R. S. Dubtsov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 352 KB

Linear parametric model checking of time

✍ Thomas Hune; Judi Romijn; Mariëlle Stoelinga; Frits Vaandrager 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Weighted Timed Automata: Model-Checking

✍ Patricia Bouyer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 283 KB

Efficient timed model checking for discr

✍ F. Laroussinie; N. Markey; Ph. Schnoebelen 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 370 KB