Sven Schewe. Synthesis of Distributed Systems. In Dorothea Wagner, editor, Ausgezeichnete Informatikdissertationen 2008. Volume D-9 of LNI, pages 251-260, GI, 2008.
@inproceedings{Schewe08-0, title = {Synthesis of Distributed Systems}, author = {Sven Schewe}, year = {2008}, researchr = {https://researchr.org/publication/Schewe08-0}, cites = {0}, citedby = {0}, pages = {251-260}, booktitle = {Ausgezeichnete Informatikdissertationen 2008}, editor = {Dorothea Wagner}, volume = {D-9}, series = {LNI}, publisher = {GI}, isbn = {978-88579-413-4}, }