Вы здесь

Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020

Вид: 
Сборник или журнал
Год: 
2020
Стр.: 
301 p.
Редактор: 
Место издания: 
Издательство: 
Источник: 
Том: 
12288
Карточка: 

Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020/Ed. by Bertrand N., Jansen N..-Berlin.: Springer, 2020.-Vol. 12288.-301 p.-(Lecture Notes in Computer Science).