Search

You searched for: Auteur Bogomolov, Sergiy. Remove constraint Auteur: Bogomolov, Sergiy.
1 entry found
Number of results to display per page

Search Results

1. Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
thumbnail
Full text!
Author:
Bogomolov, Sergiy.; Parker, David
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book