Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten (2000)

by J Preußig