Computation tree logic for synchronization properties (Q4598239)
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: Computation tree logic for synchronization properties |
scientific article; zbMATH DE number 6820287
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Computation tree logic for synchronization properties |
scientific article; zbMATH DE number 6820287 |
Statements
19 December 2017
0 references
computation tree logic
0 references
synchronization
0 references
model checking
0 references
complexity
0 references
0.8044346570968628
0 references
0.8005962371826172
0 references
0.7689864039421082
0 references
0.7642433643341064
0 references
