%0 Journal Article %1 journals/ws/WangLSZP07 %A Wang, Hai H. %A Li, Yuan-Fang %A Sun, Jing %A Zhang, Hongyu %A Pan, Jeff Z. %D 2007 %J J. Web Semant. %K dblp %N 2 %P 117-129 %T Verifying feature models using OWL. %U http://dblp.uni-trier.de/db/journals/ws/ws5.html#WangLSZP07 %V 5

@article{journals/ws/WangLSZP07, added-at = {2022-01-03T00:00:00.000+0100}, author = {Wang, Hai H. and Li, Yuan-Fang and Sun, Jing and Zhang, Hongyu and Pan, Jeff Z.}, biburl = {https://www.bibsonomy.org/bibtex/2008eac229cf06d0c525ba0ad629740de/dblp}, ee = {https://doi.org/10.1016/j.websem.2006.11.006}, interhash = {563cead218caba2b999625303405dcdf}, intrahash = {008eac229cf06d0c525ba0ad629740de}, journal = {J. Web Semant.}, keywords = {dblp}, number = 2, pages = {117-129}, timestamp = {2024-04-09T00:57:39.000+0200}, title = {Verifying feature models using OWL.}, url = {http://dblp.uni-trier.de/db/journals/ws/ws5.html#WangLSZP07}, volume = 5, year = 2007 }