Mariusz Kostrzewski, Norbert Chamier-Gliszczynski, Tomasz Królikowski. Selected reflections on formal modeling in Industry 4.0. In Matteo Cristani, Carlos Toro 0001, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020. Volume 176 of Procedia Computer Science, pages 3293-3300, Elsevier, 2020. [doi]
@inproceedings{KostrzewskiCK20, title = {Selected reflections on formal modeling in Industry 4.0}, author = {Mariusz Kostrzewski and Norbert Chamier-Gliszczynski and Tomasz Królikowski}, year = {2020}, doi = {10.1016/j.procs.2020.09.118}, url = {https://doi.org/10.1016/j.procs.2020.09.118}, researchr = {https://researchr.org/publication/KostrzewskiCK20}, cites = {0}, citedby = {0}, pages = {3293-3300}, booktitle = {Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020}, editor = {Matteo Cristani and Carlos Toro 0001 and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain}, volume = {176}, series = {Procedia Computer Science}, publisher = {Elsevier}, }