Statische Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern - Schnakenbeck, Aron (Verfasser); Fay, Alexander (Akademischer Betreuer); Kowalewski, Stefan (Gutachter) (Universitätsbibliothek der HSU/UniBw H, 2025)