Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2005
D'Argenio, P.R. and Gebremichael, B.
(2005)
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation.
In: Proceedings of CONCUR 2005, 23-26 Aug 2005, San Francisco, USA.
pp. 125-140.
Lecture Notes in Computer Science 3653.
Springer Verlag.
ISBN 3-540-28309-9
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||