@inproceedings{DGR14,
 author = {D\"{u}mmler, J. and Gehre, S. and R\"{u}nger, G.},
 title = {{Modellierung und Verifikation von Prozessketten}},
 booktitle = {3. Methodenband der Querschnittsarbeitsgruppe 1 “Energetisch-wirtschaftliche Bilanzierung” des Spitzentechnologieclusters eniPROD},
 pages = {33--42},
 year = {2014},
 isbn = {978-3-95735-003-9},
 publisher = {Verlag Wissenschaftliche Scripten},
}