%0 Conference Paper %1 conf/splc/ClarkeDHJPWW10 %A Clarke, Dave %A Diakov, Nikolay %A Hähnle, Reiner %A Johnsen, Einar Broch %A Puebla, Germán %A Weitzel, Balthasar %A Wong, Peter Y. H. %B SPLC Workshops %D 2010 %E Botterweck, Goetz %E Jarzabek, Stan %E Kishi, Tomoji %E Lee, Jaejoon %E Livengood, Steve %I Lancaster University %K dblp %P 121-128 %T HATS - A Formal Software Product Line Engineering Methodology. %U http://dblp.uni-trier.de/db/conf/splc/splc2010w.html#ClarkeDHJPWW10 %@ 978-1-86220-274-0

@inproceedings{conf/splc/ClarkeDHJPWW10, added-at = {2012-02-14T00:00:00.000+0100}, author = {Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter Y. H.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/293e1c02ca43148dda21b93362caa5e9d/dblp}, booktitle = {SPLC Workshops}, crossref = {conf/splc/2010w}, editor = {Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve}, ee = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf}, interhash = {b2cc7f89d17899f7c578330c7a287bf4}, intrahash = {93e1c02ca43148dda21b93362caa5e9d}, isbn = {978-1-86220-274-0}, keywords = {dblp}, pages = {121-128}, publisher = {Lancaster University}, timestamp = {2016-03-31T09:32:36.000+0200}, title = {HATS - A Formal Software Product Line Engineering Methodology.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2010w.html#ClarkeDHJPWW10}, year = 2010 }