Publications
Filters: Author is Biniam Gebremichael [Clear All Filters]
, “The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation”, in CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005, vol. LNCS 3653, pp. 125-140.