Behavioural equivalences for timed systems

Research output: Working paper › Research

2019
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. Feb 2019, In: Logical Methods in Computer Science. 15, 1, p. 17:1-17:41 41 p., 17.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
75 Downloads (Pure)
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

Related research output