PNL Vorlesung heute (23.11.2006)
2006-11-22 12:16
guiltyguy
Hallo, kann mir jemand bitte sagen, wie weit Herr Valk heute gekommen ist?
Hat er schon mit Script Teil 2 angefangen, oder hat er nur die Korrektheit des Alternierbitprotokolls bewiesen?
Danke!
Hat er schon mit Script Teil 2 angefangen, oder hat er nur die Korrektheit des Alternierbitprotokolls bewiesen?
Danke!