Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q4571986)
From MaRDI portal
scientific article; zbMATH DE number 6898409
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations |
scientific article; zbMATH DE number 6898409 |
Statements
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (English)
0 references
4 July 2018
0 references
