DP lower bounds for equivalence-checking and model-checking of one-counter automata
| Date first appeared online | |
| DOI | 10.1016/S0890-5401(03)00171-8 |
| Authors | Moller F. |
| Journal Name | Information and Computation |
| Volume | 188 |
| Date first appeared online | |
| DOI | 10.1016/S0890-5401(03)00171-8 |
| Authors | Moller F. |
| Journal Name | Information and Computation |
| Volume | 188 |