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

Abstract

Metadata

Authors/Creators:
  • Ciardo, G.
  • Lüttgen, G.
  • Miner, A.S.
Keywords: Symbolic state-space exploration - Interleaving semantics - Decision diagrams - Kronecker algebra
Institution: The University of York
Academic Units: The University of 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: 10.1007/s10703-006-0033-y

Share / Export

Statistics