ARRIVAL: Next Stop in CLS

Bernd Gärtner, Thomas Dueholm Hansen, Pavel Hubáček, Karel Král, Hagar Mosaad, Veronika Slívová
January 2018
PDF Cite DOI
Type
Conference paper
Publication
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic