mail.html

% Farebný model checking alebo tiež paralelný -- barevný může být paralelizovaný, ale paralelní není synonymum pro barevný

% Nemusíš citovat článek jménem a stranou, stačí jen v \cite{…}… 

% z konferencie CAV 2011, zbytečné takto citovat, stačí opět "znmiňované v […]"

% Tým sme nakúsli d’alšiu… nakousnout můžeš ledacos, ale v DP to není úplně formální :-) trochu kulturnějc please ;)

% Rozsah ok, musíš být bezpečně někde kolem 45-50 stran včetně citací, což se dostaneš.

MOdel se mi teď líbí, ty abstrakce navazují jak mají. Je to na můj vkus trocha víc ukecané, ale to nevadí. Jde o to, aby ses s tím seznámil což je splněno :)
Myslím e popis je complete, že nic nechybí.

Obrazky prikladam.

At se dari.
D.	

On May 24, 2014, at 1:52 AM, Martin Demko <325073@mail.muni.cz> wrote:

> Pekny vecer prajem, tak som zopar veci prerobil, nieco nove pridal a v podstate
> mi uz chyba iba uvod, zaver a case study. Do ktorych sa pustim hned zajtra.
> Problem je, ze mi ta praca aj tak pride kratka. Chcel som ta poprosit o
> precitanie si aspon toho modelu, ktory som dost prekopal a s tym suvisiacich
> abstrakcii. Ak by ta napadlo, co este pridat, rad si to vypocujem.
> 
> Zaroven som ta chcel poprosit, ci by si sa mi este nepozrel po nejakom obrazku
> k farebnemu model checkingu. Jak je na nom vidiet pekne tie roznofarebne
> sipky.
> 
> Dalsia taka technicka otazka. Ked mam ocislovane iba niektore rovnice, na
> ktore sa odkazujem a ostatne nie, je to problem?
> 
> Zatial ma nic dalsie nenapada. Viem, ze toho mas vela, ale moc ta prosim,
> pozri si to co najskor si precitas tento mail, aby som mal este cas zmenit
> pripadne upravit co bude treba.
> 
> Budem ti fakt moc vdacny.
> 
> Mato
> 
> PS: citaj z prilohy na gite je stara verzia