Temporal automata - Congresses.
Overview
| Works: | 3 works in 3 publications in 3 languages | |
|---|---|---|
Titles
Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Language materials, printed)
Subjects