Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)

Deepak Dhungana; Ching Hoo Tang; Christoph Weidenbach; Patrick Wischnewski

Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)

Logic in Computer Science 2014-01-23 v3

Authors: Deepak Dhungana , Ching Hoo Tang , Christoph Weidenbach , Patrick Wischnewski

View on arXiv ↗ PDF ↗

Abstract

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

Cite

@article{arxiv.1309.0065,
  title  = {Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)},
  author = {Deepak Dhungana and Ching Hoo Tang and Christoph Weidenbach and Patrick Wischnewski},
  journal= {arXiv preprint arXiv:1309.0065},
  year   = {2014}
}