Andreas Bauer 0002. Model-based runtime analysis of distributed reactive systems. PhD thesis, Technical University Munich, 2007. [doi]
@phdthesis{de-923, title = {Model-based runtime analysis of distributed reactive systems}, author = {Andreas Bauer 0002}, year = {2007}, url = {http://mediatum2.ub.tum.de/doc/619337/document.pdf}, note = {http://d-nb.info/985347074}, researchr = {https://researchr.org/publication/de-923}, cites = {0}, citedby = {0}, school = {Technical University Munich}, }