DMCA

Compositional Model Checking (1999)

by E. M. Clarke , D. E. Long , K. L. Mcmillan
Citations:3194 - 68 self