bibtex

@inproceedings{BBN+08,
    title = {Compositional Verification for Component-Based Systems and Application },
    author = {Bensalem, Saddek and Bozga, Marius and Nguyen, Thanh-Hung and Sifakis, Joseph},
    year = {2008},
    booktitle = {ATVA '08: Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis},
    pages = {64--79},
    publisher = {Springer-Verlag},
    team = {DCS, RSD},
}


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

info visites 4121949