Languages
FORMATS (Conference) (2019 :)
Overview
| Works: | 5 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal modeling and analysis of timed systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings /
by:
FORMATS (Conference) (2019 :); Andre, Etienne.; Stoelinga, Marielle.; SpringerLink (Online service)
(Electronic resources)
Subjects