@inproceedings{AD09a, 
    title = {Volume and Entropy of Regular Timed Languages: Discretization Approach }, 
    author = {Asarin, Eugene and Degorre, Aldric},
    year = {2009},
    booktitle = {CONCUR},
    team = {TEMPO},
}