Result 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. 127 p.
Type
habilitation thesis
Language
English
Authors
Ryšavý Ondřej, doc. Ing., Ph.D., DIFS (FIT)
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/"
}
Files
Departments