Behavioural equivalences for timed systems

Tomasz Brengos, Marco Peressotti

Research output: Working paperResearch

Fingerprint

Dive into the research topics of 'Behavioural equivalences for timed systems'. Together they form a unique fingerprint.

Engineering & Materials Science