Symbolic Model Checking with Partitioned Transition Relations (1991)

by J. R. Burch , E. M. Clarke , D. E. Long
Citations:150 - 15 self