A uniform framework for timed automata

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

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
75 Downloads (Pure)
2017
Behavioural equivalences for timed systems
Brengos, T. & Peressotti, M., 28. nov. 2017, 41 s.
Publikation: Working paper › Forskning

Relaterede publikationer