Model-Checking on Ordered Structures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kord Eickmeyer, Jan van den Heuvel, Ken-ichi Kawarabayashi, Stephan Kreutzer, Patrice Ossona de Mendez, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich, Sebastian Siebertz. Model-Checking on Ordered Structures. ACM Trans. Comput. Log., 21(2), 2020. [doi]

This author has not been identified. Look up 'Kord Eickmeyer' in GoogleThis author has not been identified. Look up 'Jan van den Heuvel' in GoogleThis author has not been identified. Look up 'Ken-ichi Kawarabayashi' in GoogleThis author has not been identified. Look up 'Stephan Kreutzer' in GoogleThis author has not been identified. Look up 'Patrice Ossona de Mendez' in GoogleThis author has not been identified. Look up 'Michal Pilipczuk' in GoogleThis author has not been identified. Look up 'Daniel A. Quiroz' in GoogleThis author has not been identified. Look up 'Roman Rabinovich' in GoogleThis author has not been identified. Look up 'Sebastian Siebertz' in Google

runs on WebDSL