Abstraction, Reformulation, and Approximation: 5th ...
Preview
Beyond region graphs: Symbolic forward analysis of timed automata. In C.
Pandurangan, V. Raman, and R. Ramanujam, editors, 19th International
Conference on the Foundations of Software Technology and Theoretical
Computer Science, ...