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

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)