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