Alternating Tree Automata, Parity Games, and Modal m-Calculus.
| Type of publication: | Article |
| Citation: | wilke2001alternating |
| Journal: | Bulletin of the Belgian Mathematical Society Simon Stevin |
| Volume: | 8 |
| Number: | 2 |
| Year: | 2001 |
| Pages: | 359 |
| Publisher: | Citeseer |
| Userfields: | date-added={2012-09-25 16:14:00 +0200}, date-modified={2012-09-25 16:14:00 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|