Ronald Aigner. Communication in Microkernel-Based Operating Systems. PhD thesis, Dresden University of Technology, 2011. [doi]
@phdthesis{dnb-1008, title = {Communication in Microkernel-Based Operating Systems}, author = {Ronald Aigner}, year = {2011}, url = {http://d-nb.info/1020387637}, researchr = {https://researchr.org/publication/dnb-1008}, cites = {0}, citedby = {0}, school = {Dresden University of Technology}, }