Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
марковский автомат
Связанные издания:
Formal Modeling and Analysis of Timed Systems: Proc./11th International Conference, FORMATS 2013, Buenos Aires. Argentina, August 2013