Obhajoba disertační práce RNDr. Pavla Šimečka
V úterý 26. ledna 2010 od 10,00 hod proběhne v zasedací místnosti FI MU obhajoba disertační práce "External Memory LTL Model Checking" pana RNDr. Pavla Šimečka.
Obhajoba je veřejná.
V úterý 26. ledna 2010 od 10,00 hod proběhne v zasedací místnosti FI MU obhajoba disertační práce "External Memory LTL Model Checking" pana RNDr. Pavla Šimečka.
Obhajoba je veřejná.
Responsible contact:
webmasterA-ZAZx2E@fiI-ZAZx2E.muniI-ZAZx2E.cz
Please install a newer browser for this site to function properly.