Exploiting interleaving semantics in symbolic state-space generation

Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner. Exploiting interleaving semantics in symbolic state-space generation. Formal Methods in System Design, 31(1):63-100, 2007. [doi]

Abstract

Abstract is missing.