Exploiting interleaving semantics in symbolic state-space generation

Ciardo, G., Lüttgen, G. and Miner, A.S. (2007) Exploiting interleaving semantics in symbolic state-space generation. Formal Methods in System Design, 31 (1). pp. 63-100. ISSN 0925-9856



  • Ciardo, G.
  • Lüttgen, G.
  • Miner, A.S.
Keywords: Symbolic state-space exploration - Interleaving semantics - Decision diagrams - Kronecker algebra
  • Published: 11 January 2007
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 06 Aug 2009 13:00
Last Modified: 06 Aug 2009 13:00
Published Version: http://dx.doi.org/10.1007/s10703-006-0033-y
Status: Published
Publisher: Springer Science + Business Media
Identification Number: https://doi.org/10.1007/s10703-006-0033-y

Download not available

A full text copy of this item is not currently available from White Rose Research Online