Kleene-Schutzenberger and Buchi Theorems for Weighted Timed Automata

Paperback