Publication detail

Formal Logic Based Framework for Network Configuration Analysis

RYŠAVÝ, O.

Original Title

Formal Logic Based Framework for Network Configuration Analysis

Type

habilitation thesis

Language

English

Authors

RYŠAVÝ, O.

Released

25. 11. 2015

Publisher

Faculty of Information Technology BUT

Location

Brno

Pages count

127

URL

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