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