Lukas Grunau

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Publications

Cheng Xin, Lukas Grunau, Mario Thron, Matthias Riedl
Enhancements in formal process description by using a formal method. Autom. 71 (3) (2023)