Journal of Computer and System Sciences, Volume 88

Volume 88, September 2017

SPECIAL SECTION ON WoLLIC 2013 Regular Papers
a service of Schloss Dagstuhl - Leibniz Center for Informatics