Title of article :
McNaughton games and extracting strategies for concurrent programs Original Research Article
Author/Authors :
Anil Nerode، نويسنده , , Jeffrey B. Remmel، نويسنده , , Alexander Yakhnis، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Pages :
40
From page :
203
To page :
242
Journal title :
Annals of Pure and Applied Logic
Serial Year :
1996
Journal title :
Annals of Pure and Applied Logic
Record number :
890057
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=890057
