Compositional Verification for Component-Based Systems and Application (2008)

by S Bensalem, M Bozga, J Sifakis, T H Nguyen
Venue:In ATVA 2008, volume 5311 of LNCS