مرکز منطقه ای اطلاع رساني علوم و فناوري - The Algebra of Timed Processes, ATP: Theory and Application

Title of article :

The Algebra of Timed Processes, ATP: Theory and Application

Author/Authors :

Nicollin X.، نويسنده , , Sifakis J.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1994

Pages :

From page :

131

To page :

178

Journal title :

Information and Computation

Serial Year :

1994

Journal title :

Information and Computation

Record number :

261433

Link To Document :