MCNAUGHTON GAMES AND EXTRACTING STRATEGIES FOR CONCURRENT PROGRAMS

Authors
NERODE A REMMEL JB YAKHNIS A
Citation
A. Nerode et al., MCNAUGHTON GAMES AND EXTRACTING STRATEGIES FOR CONCURRENT PROGRAMS, Annals of pure and applied Logic, 78(1-3), 1996, pp. 203-242
Citations number
20
Categorie Soggetti
Mathematics, Pure",Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
78
Issue
1-3
Year of publication
1996
Pages
203 - 242
Database
ISI
SICI code
0168-0072(1996)78:1-3<203:MGAESF>2.0.ZU;2-K