%0 Conference Paper %1 conf/splc/MennickeLSW14 %A Mennicke, Stephan %A Lochau, Malte %A Schroeter, Julia %A Winkelmann, Tim %B SPLC %D 2014 %E Gnesi, Stefania %E Fantechi, Alessandro %E Heymans, Patrick %E Rubin, Julia %E Czarnecki, Krzysztof %E Dhungana, Deepak %I ACM %K %P 62-71 %T Automated verification of feature model configuration processes based on workflow Petri nets. %U http://dblp.uni-trier.de/db/conf/splc/splc2014.html#MennickeLSW14 %@ 978-1-4503-2740-4

@inproceedings{conf/splc/MennickeLSW14, added-at = {2023-12-12T20:46:46.000+0100}, author = {Mennicke, Stephan and Lochau, Malte and Schroeter, Julia and Winkelmann, Tim}, biburl = {https://www.bibsonomy.org/bibtex/235b3cc35ca529b33cbf368787e532a12/admin}, booktitle = {SPLC}, crossref = {conf/splc/2014}, editor = {Gnesi, Stefania and Fantechi, Alessandro and Heymans, Patrick and Rubin, Julia and Czarnecki, Krzysztof and Dhungana, Deepak}, ee = {https://doi.org/10.1145/2648511.2648518}, interhash = {34337b2866814e35ff05fa5c50b8ec1b}, intrahash = {35b3cc35ca529b33cbf368787e532a12}, isbn = {978-1-4503-2740-4}, keywords = {}, pages = {62-71}, publisher = {ACM}, timestamp = {2023-12-12T20:46:46.000+0100}, title = {Automated verification of feature model configuration processes based on workflow Petri nets.}, url = {http://dblp.uni-trier.de/db/conf/splc/splc2014.html#MennickeLSW14}, year = 2014 }