1 Computergestützte Verifikation 07.6.2002. 2 Übung 1 Konstruiere den Regionengraph für folgendes System (Anfang: k = 0) ! Identifiziere in diesem Graph.
