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},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 873063