Behavioural equivalences for timed systems

Tomasz Brengos, Marco Peressotti

Department of Mathematics and Computer Science

Research output: Working paper › Research

1 Article in proceedings
1 Journal article

1 results

Filter

2016
A uniform framework for timed automata
Brengos, T. & Peressotti, M., 1. Aug 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 59. 26
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review