Model Checking Lower Bounds for Simple Graphs

Michael Lampis. Model Checking Lower Bounds for Simple Graphs. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, editors, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Volume 7965 of Lecture Notes in Computer Science, pages 673-683, Springer, 2013. [doi]

Abstract

Abstract is missing.