Games and model checking for guarded logics (Q2996154)
From MaRDI portal
!
WARNING
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 5884894
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Games and model checking for guarded logics |
scientific article; zbMATH DE number 5884894 |
Statements
Games and Model Checking for Guarded Logics (English)
0 references
6 May 2011
0 references
0.8292659521102905
0 references
0.8212289810180664
0 references
0.8185595870018005
0 references
0.8125909566879272
0 references
