Publication Details
Towards Computer-Aided Quantitative Synthesis
ČEŠKA, M. Towards Computer-Aided Quantitative Synthesis. Brno: Faculty of Information Technology BUT, 2020. p. 0-0.
Type
habilitation thesis
Language
English
Authors
Published
2020
Pages
260
Publisher
Faculty of Information Technology BUT
Place
Brno
BibTeX
@misc{BUT175807,
author="Milan {Češka}",
title="Towards Computer-Aided Quantitative Synthesis",
year="2020",
pages="260",
publisher="Faculty of Information Technology BUT",
address="Brno",
url="https://www.fit.vut.cz/research/publication/12551/",
note="habilitation thesis"
}