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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.