Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer AutomatenJörg PreußigUitverkochtHou mij op de hoogte
