Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer AutomatenJörg PreußigUitverkocht4,3Volgen
