Publication Details

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.
Type
habilitation thesis
Language
English
Authors
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Published
2015
Pages
127
Publisher
Faculty of Information Technology BUT
Place
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"
}
Files
Back to top