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