%0 Conference Paper %1 conf/vamos/BenduhnTLLS15 %A Benduhn, Fabian %A Thüm, Thomas %A Lochau, Malte %A Leich, Thomas %A Saake, Gunter %B VaMoS %D 2015 %E Schmid, Klaus %E Haugen, Øystein %E Müller, Johannes %I ACM %K dblp %P 80 %T A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines. %U http://dblp.uni-trier.de/db/conf/vamos/vamos2015.html#BenduhnTLLS15 %@ 978-1-4503-3273-6

@inproceedings{conf/vamos/BenduhnTLLS15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Benduhn, Fabian and Thüm, Thomas and Lochau, Malte and Leich, Thomas and Saake, Gunter}, biburl = {https://www.bibsonomy.org/bibtex/2fd23897e50716fb021ca3fac1f9aea16/dblp}, booktitle = {VaMoS}, crossref = {conf/vamos/2015}, editor = {Schmid, Klaus and Haugen, Øystein and Müller, Johannes}, ee = {https://doi.org/10.1145/2701319.2701332}, interhash = {2917bd68224899b2f62901c096c97676}, intrahash = {fd23897e50716fb021ca3fac1f9aea16}, isbn = {978-1-4503-3273-6}, keywords = {dblp}, pages = 80, publisher = {ACM}, timestamp = {2018-11-07T15:02:22.000+0100}, title = {A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.}, url = {http://dblp.uni-trier.de/db/conf/vamos/vamos2015.html#BenduhnTLLS15}, year = 2015 }