Vol-1031⫷ Vol-1032 ⫸Vol-1033
urn:nbn:de:0074-1032-0


None⫷None⫸None
Ruggero LanotteValentina CastiglioniSimone Tini

A Rule Format for Rooted Branching Bisimulation