%0 Journal Article %1 journals/is/MrasekMBBA16 %A Mrasek, Richard %A Mülle, Jutta A. %A Böhm, Klemens %A Becker, Michael %A Allmann, Christian %D 2016 %J Inf. Syst. %K dblp %P 326-346 %T Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. %U http://dblp.uni-trier.de/db/journals/is/is56.html#MrasekMBBA16 %V 56

@article{journals/is/MrasekMBBA16, added-at = {2017-12-28T00:00:00.000+0100}, author = {Mrasek, Richard and Mülle, Jutta A. and Böhm, Klemens and Becker, Michael and Allmann, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2e2b235ba764ceecc85e6177654be784c/dblp}, ee = {https://doi.org/10.1016/j.is.2015.09.005}, interhash = {cb0c7c3e04654ab479a43f9ff5f71654}, intrahash = {e2b235ba764ceecc85e6177654be784c}, journal = {Inf. Syst.}, keywords = {dblp}, pages = {326-346}, timestamp = {2017-12-29T11:44:50.000+0100}, title = {Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.}, url = {http://dblp.uni-trier.de/db/journals/is/is56.html#MrasekMBBA16}, volume = 56, year = 2016 }