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

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)