𝔖 Bobbio Scriptorium

✦ LIBER ✦

On Improving Backwards Verification of Timed Automata (Extended Abstract)

✍ Scribed by Victor Braberman; Carlos López Pombo; Alfredo Olivero

Book ID: 108498274
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 149 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80469-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Expressiveness of Higher Dimensio

On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)

✍ R.J. van Glabbeek 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 531 KB

A note on the verification of automata s

A note on the verification of automata specifications of probabilistic real-time systems

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 95 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 85 || Formal properties of one-visit and multi-pass attribute grammars (extended abstract)

✍ Bakker, Jaco; Leeuwen, Jan 📂 Article 📅 1980 🏛 Springer Berlin Heidelberg ⚖ 781 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems

✍ Jia, Yangli; Li, Zhoujun; Zhang, Zhenling 📂 Article 📅 2008 🏛 IEEE ⚖ 283 KB

[ACM Press the 2012 ACM annual conferenc

[ACM Press the 2012 ACM annual conference extended abstracts - Austin, Texas, USA (2012.05.05-2012.05.10)] Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12 - Understanding effects of time and proximity on collaboration

✍ González-Ibáñez, Roberto; Haseki, Muge; Shah, Chirag 📂 Article 📅 2012 🏛 ACM Press 🌐 English ⚖ 334 KB

[ACM Press the 2011 annual conference ex

[ACM Press the 2011 annual conference extended abstracts - Vancouver, BC, Canada (2011.05.07-2011.05.12)] Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems - CHI EA '11 - Topicality, time, and sentiment in online news comments

✍ Diakopoulos, Nicholas; Naaman, Mor 📂 Article 📅 2011 🏛 ACM Press 🌐 English ⚖ 404 KB