A proof theory for model checking: an extended abstract (Q5014803)
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 7441262
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A proof theory for model checking: an extended abstract |
scientific article; zbMATH DE number 7441262 |
Statements
8 December 2021
0 references
0 references
0.9627277255058287
0 references
0.7502116560935974
0 references
