Book serie: / Книги серии: Lecture Notes in Computer Science 13465 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 13465

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