@inproceedings{10.1007/978-3-642-32589-2_14,
    Abstract = {In order to study precisely the growth of timed languages, we associate to such a language a generating function. These functions (tightly related to volume and entropy of timed languages) satisfy compositionality properties and, for deterministic timed regular languages, can be characterized by integral equations. We provide procedures for closed-form computation of generating functions for some classes of timed automata and regular expressions.},
    Address = {Berlin, Heidelberg},
    Author = {Asarin, Eugene and Basset, Nicolas and Degorre, Aldric and Perrin, Dominique},
    BookTitle = {Mathematical Foundations of Computer Science 2012},
    Editor = {Rovan, Branislav and Sassone, Vladimiro and Widmayer, Peter},
    File = {Asarin2012\_Chapter\_GeneratingFunctionsOfTimedLang (0) - a - a - f.pdf},
    ISBN = {978-3-642-32589-2},
    Pages = {124--135},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Generating Functions of Timed Languages},
    Year = {2012},
    date-added = {2018-10-23 12:56:55 +0000},
    date-modified = {2018-10-23 12:56:55 +0000},
    doi = {10.1007/978-3-642-32589-2_14}
}

@inproceedings{10.1007/978-3-642-32589-2_14, Abstract = {In order to study precisely the growth of timed languages, we associate to such a language a generating function. These functions (tightly related to volume and entropy of timed languages) satisfy compositionality properties and, for deterministic timed regular languages, can be characterized by integral equations. We provide procedures for closed-form computation of generating functions for some classes of timed automata and regular expressions.}, Address = {Berlin, Heidelberg}, Author = {Asarin, Eugene and Basset, Nicolas and Degorre, Aldric and Perrin, Dominique}, BookTitle = {Mathematical Foundations of Computer Science 2012}, Editor = {Rovan, Branislav and Sassone, Vladimiro and Widmayer, Peter}, File = {Asarin2012_Chapter_GeneratingFunctionsOfTimedLang (0) - a - a - f.pdf}, ISBN = {978-3-642-32589-2}, Pages = {124--135}, Publisher = {Springer Berlin Heidelberg}, Title = {Generating Functions of Timed Languages}, Year = {2012}, date-added = {2018-10-23 12:56:55 +0000}, date-modified = {2018-10-23 12:56:55 +0000}, doi = {10.1007/978-3-642-32589-2_14} }