A Game for Linear-time-Branching-time Spectroscopy.

Benjamin Bisping, Uwe Nestmann

Browse the full TACAS paper archive.