Title of article :
A Process Algebra for Timed Systems
Author/Authors :
Hennessy M.، نويسنده , , Regan T.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1195
Pages :
19
From page :
221
To page :
239
Journal title :
Information and Computation
Serial Year :
1195
Journal title :
Information and Computation
Record number :
261490
Link To Document :
بازگشت