[FGI2] Blatt 9 Aufgabe 9.1.d.)

fb18.de / Bachelorstudieng / PM Formale Informatik

[FGI2] Blatt 9 Aufgabe 9.1.d.) 2007-01-04 17:46

moinsen,
frohes neues.
weis jmd, ob sich um bei dem "CTL-Algorithmus" um den auf Skriptseite 216 handelt?

tipps für diese Aufgabe werden in diesem Thread auch begrüsst.

grüsse

Re: [FGI2] Blatt 9 Aufgabe 9.1.d.) 2007-01-04 20:30

enco

Bin bei der Lösung davon ausgegangen.