Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi. A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. In Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 94, Cambridge, MA, USA, October 10-12, 1994. pages 236-239, IEEE Computer Society, 1994.
Abstract is missing.