Detail publikace

Formal Logic Based Framework for Network Configuration Analysis

RYŠAVÝ, O. Formal Logic Based Framework for Network Configuration Analysis. Brno: Faculty of Information Technology BUT, 2015. p. 0-0.
Typ
habilitační práce
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Rok
2015
Strany
127
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@misc{BUT193143,
  author="Ondřej {Ryšavý}",
  title="Formal Logic Based Framework for Network Configuration Analysis",
  year="2015",
  pages="127",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/12547/",
  note="habilitation thesis"
}
Soubory
Nahoru