Author:
Iyer S.,Sahoo D.,Emerson E.A.,Jain J.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lex-Partitioning: A New Option for BDD Search;Electronic Proceedings in Theoretical Computer Science;2012-10-23
2. Parallelizing a Symbolic Compositional Model-Checking Algorithm;Hardware and Software: Verification and Testing;2011