Process specification and verification (Q4645279)
From MaRDI portal
scientific article; zbMATH DE number 6999581
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Process specification and verification |
scientific article; zbMATH DE number 6999581 |
Statements
Process specification and verification (English)
0 references
10 January 2019
0 references
temporal logic
0 references
predicate logic
0 references
graph grammar
0 references
precise formula
0 references
graph expression
0 references
