@TECHREPORT{16-2003,
    AUTHOR	= {Denis Lugiez, Peter Niebert and S. Zennou },
    TITLE	= {{A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata}},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {16-2003},
    MONTH	= {12},
    YEAR	= {2003},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/16-2003.html},
}