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