Model checking languages of data words (Q2892785)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6049310
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking languages of data words |
scientific article; zbMATH DE number 6049310 |
Statements
Model Checking Languages of Data Words (English)
0 references
22 June 2012
0 references
0.7569696307182312
0 references
0.7533063292503357
0 references
0.7532495856285095
0 references
0.7516348958015442
0 references
0.75035560131073
0 references
