Reachability problems: Special issue

Larsen, KG; Potapov, I; Srba, J

Larsen, KG (reprint author), Aalborg Univ, Dept Comp Sci, Aalborg, Denmark.

THEORETICAL COMPUTER SCIENCE, 2018; 750 (): 1