Sascha Klüppelholz. Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models. PhD thesis, Techn. Universität, 2012. [doi]
@phdthesis{books-daglib-0031251,
title = {Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models},
author = {Sascha Klüppelholz},
year = {2012},
url = {http://www.qucosa.de/recherche/frontdoor/?tx_slubopus4frontend[id]=8621},
researchr = {https://researchr.org/publication/books-daglib-0031251},
cites = {0},
citedby = {0},
school = {Techn. Universität},
}