Compositional Model Checking (1999)

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