Observational interpretation of Casl specifications (Q5458070)

From MaRDI portal





scientific article; zbMATH DE number 5262045
Language Label Description Also known as
default for all languages
No label defined
    English
    Observational interpretation of Casl specifications
    scientific article; zbMATH DE number 5262045

      Statements

      Observational interpretation of Casl specifications (English)
      0 references
      0 references
      0 references
      0 references
      10 April 2008
      0 references
      observational semantics for architectural specifications
      0 references

      Identifiers