16th FORMATS 2018: Beijing, China

Invited Papers

Temporal Logics

Distributed Timed Systems

Behavioral Equivalences

Timed Words

Continuous Dynamical Systems

maintained by Schloss Dagstuhl LZI, founded at University of Trier