Computer ScienceMathematics
Symbolic model checking
R. BurchJ., M. ClarkeE., L. McMillanK., L. DillD., J. HwangL.
1992.6.1INFORMATION AND COMPUTATION
Abstract
Abstract is not available.
Citation format
BURCHJ., R., et al. Symbolic model checking. INFORMATION AND COMPUTATION, 1992.