Ich muss dringend mal die Doku lesen, weiss immer noch nicht wozu diese Seiten gedacht sind. --Marc van Woerkom 18:43, 26. Aug 2004 (CEST)
Hallo Marc. Bitte wirf doch mal einen Blick auf Diskussion:Verifizierung#Model Checking, ich hab' Dir dort geantwortet.
PS: Jetzt weisst Du auch, wozu diese Seite gedacht ist;)
-- D. Düsentrieb (?!) 15:08, 31. Aug 2004 (CEST)