학술논문
Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version
Document Type
Text
Author
Source
Subject
Language
English