"Formal Modeling and Analysis of Timed Systems - 19th International ..."

Catalin Dima, Mahsa Shirmohammadi (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics