Equations on Timed Languages

Eugene Asarin. Equations on Timed Languages. In Thomas A. Henzinger, Shankar Sastry, editors, Hybrid Systems: Computation and Control, First International Workshop, HSCC 98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Volume 1386 of Lecture Notes in Computer Science, pages 1-12, Springer, 1998.

Abstract

Abstract is missing.