Bisimulation on Speed: Lower Time Bounds.

Gerald Lttgen, Walter Vogler

Browse the full FOSSACS paper archive.