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

✍ Scribed by Bollig, B.; Leucker, M.

Book ID: 118211131
Publisher: IEEE Comput. Soc
Year: 2001
Weight: 739 KB
Volume: 0
Category: Article
ISBN-13: 9780769511078
DOI: 10.1109/time.2001.930723

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 - Checking linear temporal formulas on sequential recursive Petri nets

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