𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - LTL Satisfiability Checking Revisited

✍ Scribed by Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng

Book ID: 126635576
Publisher: IEEE
Year: 2013
Weight: 421 KB
Category: Article
ISBN: 1479922404
DOI: 10.1109/TIME.2013.19

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - An Algebraic System of Temporal Structures

✍ French, Tim; McCabe-Dansted, John; Reynolds, Mark 📂 Article 📅 2013 🏛 IEEE ⚖ 392 KB

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL, USA (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Faster Execution Algorithm for Dynamically Controllable STNUs

✍ Hunsberger, Luke 📂 Article 📅 2013 🏛 IEEE ⚖ 476 KB

[IEEE 2013 20th International Symposium

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

✍ Aceto, Luca; Della Monica, Dario; Ingolfsdottir, Anna; Montanari, Angelo; Sciavi 📂 Article 📅 2013 🏛 IEEE ⚖ 440 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 - Checking linear temporal formulas on sequential recursive Petri nets

✍ Haddad, S.; Poitrenaud, D. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 744 KB