Edit search
The Coarsest Congruence for Timed Automata with Deadlines Co…
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Article, Chapter
Authors: P.R. D%27Argenio
Publication: Volume:3653, Page(s):125-140
Browse related articles
  Request a copy of this item
Cite this item