Items where Author is "Heuvel, Jan van den"

Number of items: 1.
  • 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