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 :
بازگشت