Items where Author is "Heuvel, Jan van den"

Item Type No Grouping

Article

Model-checking on ordered structures. Eickmeyer, Kord; Heuvel, Jan van den; Kawarabayashi, Ken-Ichi; Kreutzer, Stephan; Mendez, Patrice Ossona De; Pilipczuk, Micha; Quiroz, Daniel A.; Rabinovich, Roman; Siebertz, Sebastian