Verimag

bibtex

@inproceedings{BBS+08,
    title = {Compositional Verification for Component-Based Systems and Application },
    author = {Bensalem, Saddek and Bozga, Marius and Sifakis, Joseph and Nguyen, Thanh-Hung},
    year = {2008},
    booktitle = {Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
    pages = {64-79},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5311},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 17 ; visits: 474160