✦ LIBER ✦

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1055 || Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control

✍ Scribed by Margaria, Tiziana; Steffen, Bernhard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tool

✍ Ramakrishnan, C. R.; Rehof, Jakob 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 530 KB

[Lecture Notes in Computer Science] Tool

✍ Esparza, Javier; Majumdar, Rupak 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 258 KB

[Lecture Notes in Computer Science] Tool

✍ Margaria, Tiziana; Yi, Wang 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 309 KB

[Lecture Notes in Computer Science] Tool

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 373 KB

[Lecture Notes in Computer Science] Tool

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 918 KB