Situations in LTL as strings (Q731890)

From MaRDI portal





scientific article; zbMATH DE number 5611732
Language Label Description Also known as
default for all languages
No label defined
    English
    Situations in LTL as strings
    scientific article; zbMATH DE number 5611732

      Statements

      Situations in LTL as strings (English)
      0 references
      0 references
      9 October 2009
      0 references
      situation
      0 references
      LTL
      0 references
      string
      0 references
      natural language semantics
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers