DMCA

Compositional verification for component-based systems and application (2008)

by Saddek Bensalem , Marius Bozga , Thanh-hung Nguyen , Joseph Sifakis
Venue:in Proc. ATVA
Citations:39 - 23 self