Decidability of LTL for vector addition systems with one zero-test (Q3172867)
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 5954745
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Decidability of LTL for vector addition systems with one zero-test |
scientific article; zbMATH DE number 5954745 |
Statements
Decidability of LTL for Vector Addition Systems with One Zero-Test (English)
0 references
7 October 2011
0 references
0.8653319478034973
0 references
0.8040793538093567
0 references
0.7658552527427673
0 references
0.7641362547874451
0 references
0.7543665170669556
0 references
