Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer AutomatenJörg PreußigÉpuiséPrévenez-moi
