@inproceedings{StodtJastremskojReichetal.2019, author = {Jan Stodt and Eugen Jastremskoj and Christoph Reich and Dominik Welte and Axel Sikora}, title = {Formal Description of Use Cases for Industry 4.0 Maintenance Processes Using Blockchain Technology}, series = {IDAACS'2019 : Proceedings of the 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS); Volume 2, September 18 - 21, 2019, Metz, France}, isbn = {978-1-7281-4069-8}, doi = {10.1109/IDAACS.2019.8924382}, pages = {1136 -- 1141}, year = {2019}, language = {en} }