@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},
}
