✦ LIBER ✦

Synthesising certificates in networks of timed automata

✍ Scribed by Finkbeiner, B.; Peter, H.-J.; Schewe, S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Tool for the Syntactic Detection of Ze

✍ Howard Bowman; Rodolfo Gomez; Li Su 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 385 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 262 KB

[Lecture Notes in Computer Science] Form

✍ Cassez, Franck; Jard, Claude 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 460 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 320 KB

Modeling and Evaluation of Wireless Sens

✍ Zhang, Fengling; Bu, Lei; Wang, Linzhang; Zhao, Jianhua; Chen, Xin; Zhang, Tian; 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 794 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 259 KB