Compositional analysis for verification of parameterized systems,” (2006)

by S Basu, C R Ramakrishnan
Venue:Theor. Comput. Sci.,