What You Really Need To Know About Your Neighbor

BIB
Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid
Proceedings Fifth Workshop on Synthesis, Toronto, Canada, July 17-18, 2016
2016
inproceedings
Open Publishing Association
Electronic Proceedings in Theoretical Computer Science
21-34