Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
синхронизированная система
Связанные издания:
Formal Modeling and Analysis of Timed Systems: Proc./6th International Conference, FORMATS 2008. Saint Malo, France, September 2008
Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009