ARRIVAL: Next Stop in CLS

Bernd Gärtner, Thomas Dueholm Hansen, Pavel Hubácek, Karel Král 0002, Hagar Mosaad, Veronika Slívová. ARRIVAL: Next Stop in CLS. In Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella, editors, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Volume 107 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Bernd Gärtner

This author has not been identified. Look up 'Bernd Gärtner' in Google

Thomas Dueholm Hansen

This author has not been identified. Look up 'Thomas Dueholm Hansen' in Google

Pavel Hubácek

This author has not been identified. Look up 'Pavel Hubácek' in Google

Karel Král 0002

This author has not been identified. Look up 'Karel Král 0002' in Google

Hagar Mosaad

This author has not been identified. Look up 'Hagar Mosaad' in Google

Veronika Slívová

This author has not been identified. Look up 'Veronika Slívová' in Google