Title of article

Pushdown Processes: Games and Model-Checking

Author/Authors

Igor Walukiewicz، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2001

Pages

30

From page

234

To page

263

Journal title

Information and Computation

Serial Year

2001

Journal title

Information and Computation

Record number

261945