Model checking a parity games

dc.contributor.advisor	Sawa, Zdeněk
dc.contributor.author	Janák, Lukáš
dc.date.accessioned	2006-08-08T07:25:21Z
dc.date.available	2006-08-08T07:25:21Z
dc.date.issued	2006
dc.identifier.other	OSD002
dc.identifier.uri	http://hdl.handle.net/10084/56048
dc.description	Import 08/08/2006
dc.format	62 l. : il. + 2 příl. + 1CD	en
dc.language.iso	cs	en
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.subject	model checking	en
dc.subject	CTL	en
dc.subject	parity games	en
dc.subject	CTL checker	en
dc.subject	PGSolver	en
dc.title	Model checking a parity games	en
dc.type	Diplomová práce	en
dc.identifier.signature	200600009	en
dc.identifier.location	ÚK/Sklad diplomových prací	en
dc.thesis.degree-name	Ing.	en
dc.thesis.degree-level	Magisterský navazující na bakalářský	en
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	en
dc.description.category	Prezenční	en
dc.description.department	456 - Katedra informatiky	en
dc.thesis.degree-program	Neuvedeno	en
dc.thesis.degree-branch	Informatika a výpočetní technika	en

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.