Search for persons
X
?
Water Security: Big Data-Driven Risk Identification, Assessment and Control of Emerging Contaminants ,
1
List of contributors:
, In:
?
Proceedings of the International Conference on Computer-Aided Design ,
2
Inferring assertion for complementary synthesis:
, In:
?
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design ,
3
A halting algorithm to determine the existence of decoder:
, In:
?
Proceedings of the 2009 International Conference on Computer-Aided Design ,
4
Synthesizing complementary circuits automatically:
, In:
?
Proceedings of the 2005 Asia and South Pacific Design Automation Conference ,
5
A fast counterexample minimization approach with refutation..:
, In:
?
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation ,
6
Minimizing counterexample with unit core extraction and inc..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
7
Minimizing Counterexample with Unit Core Extraction and Inc..:
, In:
?
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2 ,
8
A Faster Counterexample Minimization Algorithm Based on Ref..:
, In:
1-8