Transformation techniques for decision diagrams in computer aided designThorsten TheobaldÉpuisé4,3Prévenez-moi