On Discretization of Delays in Timed Automata and Digital Circuits.

Eugene Asarin, Oded Maler, Amir Pnueli

Browse the full CONCUR paper archive.