Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski
Automated verification of interactive rule-based configuration systems
ASE, 2013.
@inproceedings{ASE-2013-DhunganaTWW,
author = "Deepak Dhungana and Ching Hoo Tang and Christoph Weidenbach and Patrick Wischnewski",
booktitle = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1109/ASE.2013.6693112",
pages = "551--561",
publisher = "{IEEE}",
title = "{Automated verification of interactive rule-based configuration systems}",
year = 2013,
}