Detail publikace

Towards Computer-Aided Quantitative Synthesis

ČEŠKA, M.

Originální název

Towards Computer-Aided Quantitative Synthesis

Typ

habilitační práce

Jazyk

angličtina

Autoři

ČEŠKA, M.

Vydáno

10. 3. 2020

Nakladatel

Faculty of Information Technology BUT

Místo

Brno

Strany počet

260

URL

https://www.fit.vut.cz/research/publication/12551/

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