𝔖 Bobbio Scriptorium

✦ LIBER ✦

Temporal logics for concurrent recursive programs: Satisfiability and model checking

✍ Scribed by Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc

Book ID: 122261282
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 423 KB
Volume: 12
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2014.05.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combined model checking for temporal, pr

Combined model checking for temporal, probabilistic, and real-time logics

✍ Konur, Savas; Fisher, Michael; Schewe, Sven 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 599 KB

[IEEE 2011 8th IEEE International Confer

[IEEE 2011 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems - Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

✍ Zhao, Yongwang; Ma, Dianfu; Li, Jing; Li, Zhuqing 📂 Article 📅 2011 🏛 IEEE ⚖ 297 KB