Decomposition and Composition of Timed Automata.

Patricia Bouyer, Antoine Petit

Browse the full ICALP paper archive.