Title of article
Decision problems for pushdown threads
Author/Authors
Jan A. Bergstra، نويسنده , , Inge Bethke and Alban Ponse ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
16
From page
75
To page
90
Journal title
acta Informatica
Serial Year
2007
Journal title
acta Informatica
Record number
287868
Link To Document