Search CORE

1 research outputs found

Author: Dhungana Deepak
Tang Ching Hoo
Weidenbach Christoph
Wischnewski Patrick
Publication venue
Publication date: 22/01/2014
Field of study

Additional material for the original paper "Automated Verification of Interactive Rule-Based Configuration Systems"