Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets (bibtex)
by Lochau, Malte, Schroeter, Julia, Mennicke, Stephan and Winkelmann, Tim
Reference:
Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets (Lochau, Malte, Schroeter, Julia, Mennicke, Stephan and Winkelmann, Tim), In Proc. of the SPLC'14, 2014.
Bibtex Entry:
@InProceedings{Mennicke2014,
  Title                    = {{Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets}},
  Author                   = {Lochau, Malte and Schroeter, Julia and Mennicke, Stephan and Winkelmann, Tim},
  Booktitle                = {Proc. of the SPLC'14},
  Year                     = {2014},
  Pages                    = {62--71},

  Doi                      = {10.1145/2648511.2648518},
  ISBN                     = {9781450327404},
  Keywords                 = {analysis and synthesis of,configuration,domain feature model,imotep,management,petri nets,staged configuration,workflows},
  Mendeley-tags            = {imotep}
}
Powered by bibtexbrowser