Title of article
Decidability of Bisimilarity for One-Counter Processes
Author/Authors
Petr Jan ar، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
17
From page
1
To page
17
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261890
Link To Document