"Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings " - читать интересную книгу автора (Paul Pettersson, Wang Yi)