Interpreter based model check for distribution networks

Lisounkin, A.A.LisounkinSabov, A.A.SabovSchreck, G.G.Schreck2022-03-102022-03-102004https://publica.fraunhofer.de/handle/publica/34655510.1109/INDIN.2004.14173812-s2.0-28444497480en670Interpreter based model check for distribution networksconference paper