Verimag

bibtex

@inproceedings{ARB+15,
    title = { Compositional Verification of Parameterised Timed Systems },
    author = {Astefanoaei, Lacramioara and Rayana, Souha Ben and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
    year = {2015},
    booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
    pages = {66--81},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {9058},
    team = {DCS, RSD},
}

URL

Publication Sections


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

info visites 845505