Exploiting interleaving semantics in symbolic statespace generation. (2007)

by G Ciardo, G Luttgen, A S Miner
Venue:Formal Methods in System Design,