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


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

info visites 4125531