%0 Conference Paper %1 conf/kbse/LauenrothPT09 %A Lauenroth, Kim %A Pohl, Klaus %A Toehning, Simon %B ASE %D 2009 %I IEEE Computer Society %K %P 269-280 %T Model Checking of Domain Artifacts in Product Line Engineering. %U http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#LauenrothPT09 %@ 978-0-7695-3891-4

@inproceedings{conf/kbse/LauenrothPT09, added-at = {2023-12-13T00:28:20.000+0100}, author = {Lauenroth, Kim and Pohl, Klaus and Toehning, Simon}, biburl = {https://www.bibsonomy.org/bibtex/2ce00e6299a2616047613566a1c0ed752/admin}, booktitle = {ASE}, crossref = {conf/kbse/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.16}, interhash = {63cf571458f3551e2c3a8167cf101fe8}, intrahash = {ce00e6299a2616047613566a1c0ed752}, isbn = {978-0-7695-3891-4}, keywords = {}, pages = {269-280}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:28:20.000+0100}, title = {Model Checking of Domain Artifacts in Product Line Engineering.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#LauenrothPT09}, year = 2009 }