Temporal Logic for Programmable Logic Controllers von Garanina, Natalia Olegovna, Anureev, Igor Sergeevich, Zyubin, Vladimir Evgenyevich, Staroletov, Sergey Mikhailovich, Liakh, Tatiana Victorovna, Rozov, Andrey Sergeevich, Gorlatch, Sergei Petrovich

Volltext