𝔖 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 - On Relaxing Metric Information in Linear Temporal Logic

✍ Scribed by Furia, Carlo A.; Spoletini, Paola

Book ID: 126622733
Publisher: IEEE
Year: 2011
Weight: 264 KB
Category: Article
ISBN: 1457712423
DOI: 10.1109/TIME.2011.9

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 - 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 Proceedings. 11th International Sy

[IEEE Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004. - Tatihou, Normandie, France (2004.07.3-2004.07.3)] Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004. - Compositional temporal logic based on partial order

✍ Alexander, A.; Reisig, W. 📂 Article 📅 2004 🏛 IEEE ⚖ 320 KB