Verimag

bibtex

@inproceedings{'ABB6',
    title = { A Compositional Approach to the Verification of Hybrid Systems },
    author = {Astefanoaei, Lacramioara and Bensalem, Saddek and Bozga, Marius},
    year = {2016},
    booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday},
    crossref = {DBLP:conf/birthday/2016deboer},
    pages = {88--103},
    team = {DCS, RSD},
}

URL

Publication Sections


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

info visites 912837