Вы здесь

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.