S | |
---|---|
[Sch08] | Sven Schewe.
ATL* Satisfiability Is 2EXPTIME-Complete.
In ICALP'08,
Lecture Notes in Computer Science 5126, pages 373-385. Springer-Verlag, July 2008.
|
Search
Displayed 1 resultList of authors
- 1
S | |
---|---|
[Sch08] | Sven Schewe.
ATL* Satisfiability Is 2EXPTIME-Complete.
In ICALP'08,
Lecture Notes in Computer Science 5126, pages 373-385. Springer-Verlag, July 2008.
|