Detail publikace

Towards Computer-Aided Quantitative Synthesis

ČEŠKA, M. Towards Computer-Aided Quantitative Synthesis. Brno: Faculty of Information Technology BUT, 2020. p. 0-0.
Typ
habilitační práce
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
Rok
2020
Strany
260
Vydavatel
Faculty of Information Technology BUT
Místo
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"
}
Nahoru