Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (Q3540397)

From MaRDI portal





scientific article; zbMATH DE number 5369713
Language Label Description Also known as
default for all languages
No label defined
    English
    Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
    scientific article; zbMATH DE number 5369713

      Statements

      Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (English)
      0 references
      0 references
      0 references
      20 November 2008
      0 references

      Identifiers