A Kleene-Schützenberger theorem for weighted timed automata

Manfred Droste, Karin Quaas. A Kleene-Schützenberger theorem for weighted timed automata. Theoretical Computer Science, 412(12-14):1140-1153, 2011. [doi]

Abstract

Abstract is missing.