Coherent branching feature bisimulation

T. Belder, M.H. Beek, ter, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
102 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Coherent branching feature bisimulation'. Together they form a unique fingerprint.

Computer Science