Вы здесь
Formal Modeling and Analysis of Timed Systems: Proc./16th International Conference, FORMATS 2018, Beijing, China, September 2018
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2018
Ключевые слова:
Стр.:
289 p.
Редактор:
Место издания:
Том:
11022
Карточка:
Formal Modeling and Analysis of Timed Systems: Proc./16th International Conference, FORMATS 2018, Beijing, China, September 2018Ed. by Jansen D. N., Prabhakaran P..-Berlin., 2018.-Vol. 11022.-289 p.