Well (and Better) Quasi-Ordered Transition Systems (Q3067860)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Well (and Better) Quasi-Ordered Transition Systems |
scientific article |
Statements
Well (and Better) Quasi-Ordered Transition Systems (English)
0 references
13 January 2011
0 references
well quasi-ordered transition systems
0 references
well-quasi ordering
0 references
symbolic backward reachability analysis
0 references
models with infinite-state spaces
0 references
Petri nets
0 references
0 references
