Sergei Gorlatch Germany, Muenster Academic degree PhD in Computer Science Affiliation & position University of Muenster — professor E-mail gorlatch@uni-muenster.de
Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // System Informatics. — 2020. — # 17. — P. 33-42