𝔖 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 - Synthesising Classic and Interval Temporal Logic

✍ Scribed by Schewe, Sven; Tian, Cong

Book ID: 126599977
Publisher: IEEE
Year: 2011
Weight: 208 KB
Category: Article
ISBN: 1457712423
DOI: 10.1109/TIME.2011.19

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 - 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 - 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 - 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

[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 - An Experimental Comparison of Theorem Provers for CTL

✍ Gore, Rajeev; Thomson, Jimmy; Widmann, Florian 📂 Article 📅 2011 🏛 IEEE ⚖ 293 KB

[IEEE 2009 16th International Symposium

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Dense Time Reasoning via Mosaics

✍ Reynolds, Mark 📂 Article 📅 2009 🏛 IEEE ⚖ 215 KB