bibtex

@inproceedings{MNB+7,
    title = { Improved Learning for Stochastic Timed Models by State-Merging Algorithms },
    author = {Mediouni, Braham Lotfi and Nouri, Ayoub and Bozga, Marius and Bensalem, Saddek},
    year = {2017},
    booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings},
    pages = {178--193},
    series = {Lecture Notes in Computer Science},
    volume = {10227},
    team = {RSD},
}

URL

Publication Sections


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

info visites 1112783