๐”– Bobbio Scriptorium
โœฆ   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


Book ID
118070802
Publisher
Springer Berlin Heidelberg
Year
1996
Weight
738 KB
Category
Article
ISBN
3540498745

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES