"Formal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal TechniAuthor: Y Lakhnech; Sergio Yovine" - читать интересную книгу автора (Yassine Lakhnech, Sergio Yovine)