Application of if-conversion to verification and optimization of workflows (Q1758685)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Application of if-conversion to verification and optimization of workflows |
scientific article; zbMATH DE number 6107880
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Application of if-conversion to verification and optimization of workflows |
scientific article; zbMATH DE number 6107880 |
Statements
Application of if-conversion to verification and optimization of workflows (English)
0 references
16 November 2012
0 references
workflow verification
0 references
workflow optimization
0 references
Boolean verification algorithm
0 references
workflow analysis graphs
0 references
if-conversion
0 references
pattern transformations
0 references
