Symbolic Model Checking with Partitioned Transition Relations (1991)

by J. R. Burch , E. M. Clarke , D. E. Long
Citations:182 - 17 self