Detail práce
Regulated Formal Models and Their Reduction
Disertační práce
Student: Masopust Tomáš
Akademický rok: 2007/2008
Vedoucí: Meduna Alexander, prof. RNDr., CSc.
Název česky
Řízené formální modely a jejich redukce
Jazyk práce
anglický
Abstrakt
Klíčová slova
Ústav
Studijní program
Informační technologie, obor
Informační technologie
Soubory
Stav
obhájeno
Obhajoba
4. října 2007
Citace
MASOPUST, Tomáš. Regulated Formal Models and Their Reduction. Brno, 2007. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2007-10-04. Vedoucí práce Meduna Alexander. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/229/
BibTeX
@phdthesis{FITPT229, author = "Tom\'{a}\v{s} Masopust", type = "Diserta\v{c}n\'{i} pr\'{a}ce", title = "Regulated Formal Models and Their Reduction", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2007, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/phd-thesis/229/" }