Extending Timed Automata with Clock Derivatives.

David Corts, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens

Browse the full IFM paper archive.