Opacity for linear constraint Markov chains (Q1745942)

From MaRDI portal





scientific article; zbMATH DE number 6861494
Language Label Description Also known as
default for all languages
No label defined
    English
    Opacity for linear constraint Markov chains
    scientific article; zbMATH DE number 6861494

      Statements

      Opacity for linear constraint Markov chains (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      18 April 2018
      0 references
      opacity
      0 references
      Markov models
      0 references
      specification
      0 references
      refinement
      0 references

      Identifiers