Ludwig-Maximilians-Universität München Institut für Informatik
Dr. M. Hölzl, C. Kroiÿ
SoSe 2015
Formale Techniken der Software-Entwicklung Übungsblatt 9
Besprechung am 03.07.2015
Aufgabe 1:
Gegeben sei das Transitionssystem M in Abbildung 1.
r
p, q
q,r p,t,r