Static Analysis for State-Space Reductions Preserving Temporal Logics
- 1 July 2004
- journal article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 25 (1), 67-96
- https://doi.org/10.1023/b:form.0000033963.55470.9e