No label defined (Q3210192)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article |
scientific article; zbMATH DE number 4191139
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4191139 |
Statements
1991
0 references
formal verification
0 references
bisimulation relations
0 references
behaviour expressions
0 references
non- sequential systems
0 references
Kripke structures
0 references
\(CTL^ *\) branching time temporal logic
0 references
congruence
0 references
0.8907152
0 references
0 references
0.88079995
0 references
0 references
0 references
0.8691808
0 references
0.86912024
0 references
0.8683769
0 references
