You are here: TUCS > PUBLICATIONS > Publication Search > Formal Development and Quantit...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Formal Development and Quantitative Verification of Dependable Systems
Anton Tarasyuk, Formal Development and Quantitative Verification of Dependable Systems. TUCS Dissertations 156. 2013.
BibTeX entry:
@PHDTHESIS{phdTarasyuk_Anton13a,
title = {Formal Development and Quantitative Verification of Dependable Systems},
author = {Tarasyuk, Anton},
number = {156},
series = {TUCS Dissertations},
year = {2013},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)