You are on page 1of 1

Example of a bisimulation relation R between two graphs

m uR vl

You might also like