DMCA

Using Assumptions to Distribute CTL Model Checking (2002)

Cached

Download Links

by Lubos Brim , Jitka Crhova , Karen Yorav
Venue:Parallel and Distributed Model Checking (PDMC'2002), Electronic Notes in Theoretical Computer Science
Citations:8 - 0 self