Behavioural equivalences for timed systems

Tomasz Brengos, Marco Peressotti

Institut for Matematik og Datalogi

Publikation: Working paper › Forskning

1 Konferencebidrag i proceedings
1 Tidsskriftartikel

1 resultater

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