DMCA

Verification of Parameterized Systems Using Logic Program Transformations (1999)

by Abhik Roychoudhury , K. Narayan Kumar , C. R. Ramakrishnan , I.V. Ramakrishnan , Scott A. Smolka
Citations:24 - 7 self