View in EDS

On Partitioning and Symbolic Model Checking.

Saved in:
Bibliographic Details
Title: On Partitioning and Symbolic Model Checking.
Authors: Iyer, Subramanian, Sahoo, Debashis, Emerson, E. Allen
Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; May 2006, Vol. 25 Issue 5, p780-788, 9p
Database: Applied Science & Technology Source
Description
ISSN:02780070
DOI:10.1109/TCAD.2006.870410