Compositional Model Checking (1999)

by E. M. Clarke , D. E. Long , K. L. Mcmillan
Citations:2403 - 62 self