Confluence Reduction for Probabilistic Systems (Q3000663)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Confluence Reduction for Probabilistic Systems
    scientific article

      Statements

      Confluence Reduction for Probabilistic Systems (English)
      0 references
      0 references
      0 references
      19 May 2011
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references