DMCA

Exploiting interleaving semantics in symbolic state-space generation

Cached

Download Links

by Gianfranco Ciardo , Andrew S. Miner
Venue:Formal Methods in System Design
Citations:16 - 3 self