Verimag

bibtex

@inproceedings{MLK10,
    title = { On Zone-Based Analysis of Duration Probabilistic Automata },
    author = {Maler, Oded and Larsen, Kim Guldstrand and Krogh, Bruce H.},
    year = {2010},
    booktitle = {Proceedings 12th International Workshop on Verification of Infinite-State Systems},
    pages = {33-46},
    series = {EPTCS},
    volume = {39},
    team = {TEMPO},
}

URL

PDF

Publication Sections


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

info visites 818897