𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - An Experimental Comparison of Theorem Provers for CTL

✍ Scribed by Gore, Rajeev; Thomson, Jimmy; Widmann, Florian

Book ID: 126714756
Publisher: IEEE
Year: 2011
Weight: 293 KB
Category: Article
ISBN: 1457712423
DOI: 10.1109/TIME.2011.16

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 Eighteenth International Symp

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - Synthesising Classic and Interval Temporal Logic

✍ Schewe, Sven; Tian, Cong 📂 Article 📅 2011 🏛 IEEE ⚖ 208 KB

[IEEE 2011 Eighteenth International Symp

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - p-Automata and Obligation Games

✍ Piterman, Nir 📂 Article 📅 2011 🏛 IEEE ⚖ 178 KB

[IEEE 2011 Eighteenth International Symp

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - On Relaxing Metric Information in Linear Temporal Logic

✍ Furia, Carlo A.; Spoletini, Paola 📂 Article 📅 2011 🏛 IEEE ⚖ 264 KB

[IEEE 2011 Eighteenth International Symp

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - Interleaved Programs and Rely-Guarantee Reasoning with ITL

✍ Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Reif, Wolfgang 📂 Article 📅 2011 🏛 IEEE ⚖ 233 KB

[IEEE 2011 Eighteenth International Symp

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - Monitoring Usage-Control Policies in Distributed Systems

✍ Basin, David; Harvan, Matus; Klaedtke, Felix; Zalinescu, Eugen 📂 Article 📅 2011 🏛 IEEE ⚖ 281 KB