Verimag

bibtex

@article{AAM06,
    title = { Scheduling with timed automata },
    author = {Abdedda\"im, Yasmina and Asarin, Eugene and Maler, Oded},
    year = {2006},
    journal = {Theor. Comput. Sci.},
    number = {2},
    pages = {272-300},
    volume = {354},
    team = {TEMPO},
    bibsource = {DBLP, http://dblp.uni-trier.de},
}

URL

Publication Sections


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

info visites 777864