bibtex

@article{RAB+5,
    title = { Compositional Verification for Timed Systems Based on Automatic Invariant Generation },
    author = {Rayana, Souha Ben and Astefanoaei, Lacramioara and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
    year = {2015},
    journal = {Logical Methods in Computer Science},
    number = {3},
    volume = {11},
    team = {RSD, axe_Mohytos},
}

URL


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

info visites 4093787