Quantified abstract configurations of distributed systems (Q493525)

From MaRDI portal





scientific article; zbMATH DE number 6478323
Language Label Description Also known as
default for all languages
No label defined
    English
    Quantified abstract configurations of distributed systems
    scientific article; zbMATH DE number 6478323

      Statements

      Quantified abstract configurations of distributed systems (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      3 September 2015
      0 references
      static analysis
      0 references
      cost analysis
      0 references
      distributed systems
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers