Model checking action system refinements
From MaRDI portal
Publication:1019017
DOI10.1007/s00165-007-0053-4zbMath1165.68046MaRDI QIDQ1019017
Publication date: 27 May 2009
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-007-0053-4
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work