Author books / Книги автора Sergiy Bogomolov David Parker » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Sergiy Bogomolov David Parker

book Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

pdf

Author: Sergiy Bogomolov David Parker
Language: English
Year: 2022

00

13.02.2024

0

0