bibtex

@inproceedings{ARB+14,
    title = {Compositional Invariant Generation for Timed Systems },
    author = {Astefanoaei, Lacramioara and Rayana, Souha Ben and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
    year = {2014},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS},
    pages = {263-278},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8413},
    team = {DCS, RSD},
}


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

info visites 3885857