Behavioural equivalences for timed systems

Tomasz Brengos, Marco Peressotti

Publikation: Working paperForskning

Fingeraftryk

Dyk ned i forskningsemnerne om 'Behavioural equivalences for timed systems'. Sammen danner de et unikt fingeraftryk.

Computer Science

Mathematics