Skip to content

From Timed Graphs to Hybrid Automata (Abstract).

Costas Courcoubetis

VenueBCONCUR
Year1994
ProceedingsCONCUR

Browse the full CONCUR paper archive.