Lukas Ladenberger. Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems. PhD thesis, University of Düsseldorf, Germany, 2017. [doi]
@phdthesis{dnb-19612,
title = {Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems},
author = {Lukas Ladenberger},
year = {2017},
url = {http://d-nb.info/1133261469},
researchr = {https://researchr.org/publication/dnb-19612},
cites = {0},
citedby = {0},
school = {University of Düsseldorf, Germany},
}