Richard Mrasek, Jutta A. Mülle, Klemens Böhm, Michael Becker, Christian Allmann. Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. Inf. Syst., 56:326-346, 2016. [doi]
@article{MrasekMBBA16, title = {Property specification, process verification, and reporting - A case study with vehicle-commissioning processes}, author = {Richard Mrasek and Jutta A. Mülle and Klemens Böhm and Michael Becker and Christian Allmann}, year = {2016}, doi = {10.1016/j.is.2015.09.005}, url = {http://dx.doi.org/10.1016/j.is.2015.09.005}, researchr = {https://researchr.org/publication/MrasekMBBA16}, cites = {0}, citedby = {0}, journal = {Inf. Syst.}, volume = {56}, pages = {326-346}, }