✦ LIBER ✦

Checking Temporal Duration Properties of timed automata

✍ Scribed by Yong Li; Hung Van Dang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Checking timed automata for linear durat

✍ Jianhua Zhao; Van Hung Dang 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 488 KB

Unifying proof methodologies of duration

✍ Zhiming Liu; Anders P. Ravn; Xiaoshan Li 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 152 KB

A property of real-time trellis automata

✍ Sheng Yu 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 110 KB

Model-checking the preservation of tempo

✍ Dimitar P. Guelev; Mark D. Ryan; Pierre Yves Schobbens 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 224 KB

Temporal Cognition and the Phenomenology

✍ Joseph Glicksohn 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Verifying distributed real-time properti

✍ Gabor Madl; Sherif Abdelwahed; Douglas C. Schmidt 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 863 KB