Record link: 
http://hdl.handle.net/20.500.12708/158777
-
Title: 
Dependability in distributed systems : fault tolerance and model checking
en
Citation: 
Widder, J. (2014). Dependability in distributed systems : fault tolerance and model checking [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158777
-
CatalogPlus: 
AC12623815
-
Publication Type: 
Thesis - Habilitationsschrift
en
Language: 
English
-
Authors: 
Widder, Josef 
-
Date (published): 
2014
-
Number of Pages: 
213
-
Keywords: 
Verteiltes System; Fehlertoleranz; Model Checking; Verteilter Algorithmus; Zeit; Aufsatzsammlung
de
Additional information: 
Enth. 11 Veröffentl.
-
Appears in Collections:
Thesis

Show full item record

Page view(s)

47
checked on Dec 1, 2023

Google ScholarTM

Check