Symbolic Model Checking: 10 20 States and Beyond (1990)

by J. R. Burch , E. M. Clarke , K. L. Mcmillan , D. L. Dill , L. J. Hwang
Citations:574 - 30 self