Title of article
A Structural Induction Theorem for Processes
Author/Authors
Kurshan R. P.، نويسنده , , Mcmillan K. L.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
11
From page
1
To page
11
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261473
Link To Document