Vadym Shkarupylo, Ihor Blinov, Valentyna Dusheba, Jamil Abedalrahim Jamil Alsayaydeh. Case Driven TLC Model Checker Analysis in Energy Scenario. In Sergey Subbotin 0001, editor, Proceedings of The Sixth International Workshop on Computer Modeling and Intelligent Systems (CMIS 2023), Zaporizhzhia, Ukraine, May 3, 2023. Volume 3392 of CEUR Workshop Proceedings, pages 65-75, CEUR-WS.org, 2023. [doi]
Abstract is missing.