Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/159441
-
Title:
Techniques and tools for automated verification of fault-tolerant and parameterized distributed systems
en
Citation:
Konnov, I. (2018).
Techniques and tools for automated verification of fault-tolerant and parameterized distributed systems
[Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159441
-
CatalogPlus:
AC15601114
-
Publication Type:
Thesis - Professorial Dissertation
en
Hochschulschrift - Habilitationsschrift
de
Language:
English
-
Authors:
Konnov, Igor
-
Organisational Unit:
E192 - Institut für Logic and Computation
-
Date (published):
2018
-
Number of Pages:
229
-
Additional information:
Enthält Originalbeitrag und 8 Veröffentlichungen
-
Appears in Collections:
Thesis
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
8
checked on May 1, 2023
Google Scholar
TM
Check