Verimag

bibtex

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

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 911692