Krzysztof Kuchcinski, Christophe Wolinski. Synthesis of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs and Constraint Logic Programming. In Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 4-6 September 2001, Warsaw, Poland. pages 220-227, IEEE Computer Society, 2001. [doi]
Abstract is missing.