Prøveforelesning: Andreas Svendsen

M.Sc. Andreas Svendsen ved Institutt for informatikk avholder prøveforelesning over emnet:"Model checking computational tree logics: The basics of CTL, the CTL model checking problem, and algorithms for solving the problem"

Tid og sted for disputasen

4. mai 2012 kl. 14.15, Kristen Nygaards sal (5370), Ole-Johan Dahls hus, Gaustadalleen 23B.

Kontakt

Lena Korsnes

Published Apr. 25, 2012 8:15 AM - Last modified Mar. 12, 2013 12:31 PM