Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)
arXiv:1309.0065
Abstract
Additional material for the original paper "Automated Verification of Interactive Rule-Based Configuration Systems".
arXiv:1309.0065
Additional material for the original paper "Automated Verification of Interactive Rule-Based Configuration Systems".