S
[Sch08] Sven Schewe. Synthesis of Distributed Systems. PhD thesis, Saarland University, Germany, July 2008. 
@phdthesis{phd-schewe,
  author =              {Schewe, Sven},
  title =               {Synthesis of Distributed Systems},
  year =                {2008},
  month =               jul,
  school =              {Saarland University, Germany},
}
List of authors