Acta Informatica, Volume 55

Refine list

showing all ?? records

Volume 55, Number 1, February 2018

Volume 55, Number 2, March 2018

Special issue: GandALF 2015

Volume 55, Number 3, May 2018

Volume 55, Number 4, June 2018

Volume 55, Number 5, August 2018

Volume 55, Number 6, September 2018

Special Issue: FM15

Volume 55, Number 7, November 2018

Volume 55, Number 8, December 2018

Special issue: The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics