مرکز منطقه ای اطلاع رساني علوم و فناوري - Timing Verification by Successive Approximation

Title of article :

Timing Verification by Successive Approximation

Author/Authors :

Alur R.، نويسنده , , Itai A.، نويسنده , , Kurshan R. P.، نويسنده , , Yannakakis M.، نويسنده ,

Issue Information :

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

Pages :

From page :

142

To page :

157

Journal title :

Information and Computation

Serial Year :

1195

Journal title :

Information and Computation

Record number :

261507

Link To Document :