Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer AutomatenJörg PreußigVypredanáPostrážiť
