Language and Automata Theory and Applications
Springer International Publishing
Chapter title |
Hardness Results for Coverability Problem of Well-Structured Pushdown Systems
|
---|---|
Chapter number | 32 |
Book title |
Language and Automata Theory and Applications
|
Published by |
Springer, Cham, March 2017
|
DOI | 10.1007/978-3-319-53733-7_32 |
Book ISBNs |
978-3-31-953732-0, 978-3-31-953733-7
|
Authors |
Chunmiao Li, Xiaojuan Cai, Li, Chunmiao, Cai, Xiaojuan |
Country | Count | As % |
---|---|---|
Unknown | 1 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Master | 1 | 100% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 100% |