Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / edited by Nathalie Bertrand, Nils Jansen
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Theoretical Computer Science and General Issues ; 12288 | Springer eBook CollectionPublisher: Cham : Springer International Publishing, 2020Publisher: Cham : Imprint: Springer, 2020Edition: 1st ed. 2020Description: 1 Online-Ressource(X, 301 p. 657 illus., 55 illus. in color.)ISBN:- 9783030576288
No physical items for this record