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/" }