Exploiting interleaving semantics in symbolic state-space generation
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. MinerVolume:
31
Language:
english
Pages:
38
DOI:
10.1007/s10703-006-0033-y
Date:
August, 2007
File:
PDF, 861 KB
english, 2007