Specification and Analysis of Availability for Software-Intensive Systems

Maximilian Junker. Specification and Analysis of Availability for Software-Intensive Systems. PhD thesis, Technical University Munich, Germany, 2016. [doi]

@phdthesis{dnb-12216,
  title = {Specification and Analysis of Availability for Software-Intensive Systems},
  author = {Maximilian Junker},
  year = {2016},
  url = {http://d-nb.info/1122286066},
  researchr = {https://researchr.org/publication/dnb-12216},
  cites = {0},
  citedby = {0},
  school = {Technical University Munich, Germany},
}