%0 Conference Paper %1 conf/kbse/DhunganaTWW13 %A Dhungana, Deepak %A Tang, Ching Hoo %A Weidenbach, Christoph %A Wischnewski, Patrick %B ASE %D 2013 %E Denney, Ewen %E Bultan, Tevfik %E Zeller, Andreas %I IEEE %K %P 551-561 %T Automated verification of interactive rule-based configuration systems. %U http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#DhunganaTWW13

@inproceedings{conf/kbse/DhunganaTWW13, added-at = {2023-12-13T08:39:00.000+0100}, author = {Dhungana, Deepak and Tang, Ching Hoo and Weidenbach, Christoph and Wischnewski, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/26517accb4bbe5cbe2dcfdcf0b1d86a0b/admin}, booktitle = {ASE}, crossref = {conf/kbse/2013}, editor = {Denney, Ewen and Bultan, Tevfik and Zeller, Andreas}, ee = {http://dx.doi.org/10.1109/ASE.2013.6693112}, interhash = {c5e71832827128d59e0221466f7b59e3}, intrahash = {6517accb4bbe5cbe2dcfdcf0b1d86a0b}, keywords = {}, pages = {551-561}, publisher = {IEEE}, timestamp = {2023-12-13T08:39:00.000+0100}, title = {Automated verification of interactive rule-based configuration systems.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2013.html#DhunganaTWW13}, year = 2013 }