Result Details

Towards Computer-Aided Quantitative Synthesis

ČEŠKA, M. Towards Computer-Aided Quantitative Synthesis. Brno: Faculty of Information Technology BUT, 2020. 260 p.

Type

habilitation thesis

Language

English

Authors

Češka Milan, doc. RNDr., Ph.D., DITS (FIT)

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

Files

pdf Pr5_Habilitace.pdf 19 MB

Departments

Faculty of Information Technology (FIT)