Thesis Details
Regulated Formal Models and Their Reduction
Ph.D. Thesis
Student: Masopust Tomáš
Academic Year: 2007/2008
Supervisor: Meduna Alexander, prof. RNDr., CSc.
Czech title
Řízené formální modely a jejich redukce
Language
English
Abstract
Keywords
Department
Degree Programme
Information Technology, Field of Study
Information Technology
Files
Status
defended
Date
4 October 2007
Citation
MASOPUST, Tomáš. Regulated Formal Models and Their Reduction. Brno, 2007. Ph.D. Thesis. Brno University of Technology, Faculty of Information Technology. 2007-10-04. Supervised by Meduna Alexander. Available from: https://www.fit.vut.cz/study/phd-thesis/229/
BibTeX
@phdthesis{FITPT229,
author = "Tom\'{a}\v{s} Masopust",
type = "Ph.D. thesis",
title = "Regulated Formal Models and Their Reduction",
school = "Brno University of Technology, Faculty of Information Technology",
year = 2007,
location = "Brno, CZ",
language = "english",
url = "https://www.fit.vut.cz/study/phd-thesis/229/"
}