DMCA

Using Assumptions to Distribute CTL Model Checking ∗ (2002)

by Ya--- Fi Mu , Luboš Brim , Jitka Crhová , Jitka Crhová , Karen Yorav , Karen Yorav