Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}