Inproceedings,

Automated verification of feature model configuration processes based on workflow Petri nets.

, , , and .
SPLC, page 62-71. ACM, (2014)

Meta data

Tags

Users

  • @smennicke
  • @dblp

Comments and Reviews