𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Haddad, S.; Poitrenaud, D.

Book ID: 126599225
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 744 KB
Category: Article
ISBN-13: 9780769511078
DOI: 10.1109/TIME.2001.930718

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 - Optimizing temporal queries: efficient handling of duplicates

✍ Bowman, I.T.; Toman, D. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 745 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

[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 - Modelling, specifying, and verifying message passing systems

✍ Bollig, B.; Leucker, M. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 739 KB