Eine Formelsammlung für die Formale Systeme Automaten und Prozesse Vorlesung im SoSe 19 bei Prof. Dr. ir. Dr. h. c. Katoen.