This page shows all presentations from this conference published in EasyChair Smart Slide.
Bisimulation Slices and Transfer Functions
Clemens Grabmayer