Title of article :
Testing Preorders for Probabilistic Processes
Author/Authors :
Rance Cleaveland، نويسنده , , Zeynep Dayar، نويسنده , , Scott A. Smolka، نويسنده , , Shoji Yuen، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Pages :
56
From page :
93
To page :
148
Journal title :
Information and Computation
Serial Year :
1999
Journal title :
Information and Computation
Record number :
261866
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=261866
