bibtex

@inproceedings{BBS+8,
    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, RSD, axe_Mohytos},
}


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

info visites 3885768