Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}