Přístupnostní navigace
E-application
Search Search Close
Publication detail
RYŠAVÝ, O.
Original Title
Formal Logic Based Framework for Network Configuration Analysis
Type
habilitation thesis
Language
English
Authors
Released
25. 11. 2015
Publisher
Faculty of Information Technology BUT
Location
Brno
Pages count
127
URL
https://www.fit.vut.cz/research/publication/12547/
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" }
Documents
habilitace_Rysavy.pdf