"Measuring Information in Timed Languages."

Eugene Asarin (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics