Bisimulation on Speed: A Unified Approach.

Gerald Lttgen, Walter Vogler

Browse the full FOSSACS paper archive.