Constructing Witnesses for Lower Bounds on Behavioural Distances.

Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot

Browse the full CSL paper archive.