Synthesis of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs and Constraint Logic Programming.

Krzysztof Kuchcinski, Christophe Wolinski

Browse the full DSD paper archive.