Model-Checking von Anweisungslisten-Programmen für Speicherprogrammierbare Steuerung mit Hilfe von [mc]square

Student

Betreuer