On Decidability of LTL Model Checking for Process Rewrite Systems (Q5385990)
From MaRDI portal
scientific article; zbMATH DE number 5265218
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Decidability of LTL Model Checking for Process Rewrite Systems |
scientific article; zbMATH DE number 5265218 |
Statements
On Decidability of LTL Model Checking for Process Rewrite Systems (English)
0 references
17 April 2008
0 references
