Вы здесь

Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020

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

Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020/Ed. by Raschke A., Mery D., Houdek F..-Berlin.: Springer, 2020.-Vol. 12071.-428 p.-(Lecture Notes in Computer Science).