Synthesis of distributed systems - Schewe, Sven (2008)
Keywords: Hochschulschrift