McNaughton games and extracting strategies for concurrent programs /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Ithaca, N.Y. :
Mathematical Sciences Institute, Cornell University,
1995
|
| Edition: | Revised |
| Series: | Technical report (Cornell University. Mathematical Sciences Institute) ;
95-21 Technical report (Cornell University. Mathematical Sciences Institute) ; 95-25 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|