Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Path Bisimulation
Publications
Unifying Equivalences for Timed Transition Systems
Irina Virbitskaite
,
Natalya Gribovskaya
and
Eike Best
In
:
Turing-100. The Alan Turing Centenary
Copyright © 2012-2024 easychair.org. All rights reserved.