René Neumann. CAVA - A Verified Model Checker. PhD thesis, Technical University Munich, Germany, 2017. [doi]
@phdthesis{dnb-19706,
title = {CAVA - A Verified Model Checker},
author = {René Neumann},
year = {2017},
url = {http://d-nb.info/1136718818},
researchr = {https://researchr.org/publication/dnb-19706},
cites = {0},
citedby = {0},
school = {Technical University Munich, Germany},
}