From Timed Graphs to Hybrid Automata (Abstract)

Costas Courcoubetis. From Timed Graphs to Hybrid Automata (Abstract). In Bengt Jonsson, Joachim Parrow, editors, CONCUR 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Volume 836 of Lecture Notes in Computer Science, pages 160, Springer, 1994.

Abstract

Abstract is missing.