𝔖 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 - Interleaved Programs and Rely-Guarantee Reasoning with ITL

✍ Scribed by Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Reif, Wolfgang

Book ID: 126701990
Publisher: IEEE
Year: 2011
Weight: 233 KB
Category: Article
ISBN: 1457712423
DOI: 10.1109/TIME.2011.12

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 - 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 Comput. Soc Eighth International S

[IEEE Comput. Soc Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 - Cividale del Friuli, Italy (14-16 June 2001)] Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 - Learning preferences on temporal constraints: a preliminary report

✍ Rossi, F.; Sperduti, A.; Khatib, L.; Morris, P.; Morris, R. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 624 KB