Behavioural equivalences for timed systems

Publikation: Working paper › Forskning

2019
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. feb. 2019, I: Logical Methods in Computer Science. 15, 1, s. 17:1-17:41 41 s., 17.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
73 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, Bind 59. 26
Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Relaterede publikationer