No label defined (Q3204034)

From MaRDI portal





scientific article; zbMATH DE number 4180789
Language Label Description Also known as
default for all languages
No label defined
    English
    No label defined
    scientific article; zbMATH DE number 4180789

      Statements

      0 references
      0 references
      0 references
      1989
      0 references
      process model
      0 references
      process logic
      0 references
      communicating processes
      0 references
      CTL
      0 references
      model checking
      0 references
      parallel processes
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references