Acta Informatica, Volume 51

Volume 51, Number 1, February 2014

Volume 51, Number 2, March 2014

Volume 51, Numbers 3-4, June 2014

Special Issue: Synthesis

Volume 51, Number 5, August 2014

Volume 51, Number 6, September 2014

Volume 51, Number 7, October 2014

Volume 51, Number 8, November 2014

maintained by Schloss Dagstuhl LZI, founded at University of Trier