Sciweavers

108 search results - page 1 / 22
» ecai 2010
Sort
View
59
Voted
ECAI
2010
Springer
14 years 11 months ago
Non-elementary speed up for model checking synchronous perfect recall
Mika Cohen, Alessio Lomuscio