Sciweavers

24132 search results - page 345 / 4827
» and 2009
Sort
View
SSS
2009
Springer
15 years 11 months ago
Efficient Robust Storage Using Secret Tokens
Dan Dobre, Matthias Majuntke, Marco Serafini, Neer...
STACS
2009
Springer
15 years 11 months ago
On the Borel Inseparability of Game Tree Languages
Szczepan Hummel, Henryk Michalewski, Damian Niwins...
TFM
2009
Springer
128views Formal Methods» more  TFM 2009»
15 years 11 months ago
How to Explain Mistakes
Stefan Hallerstede, Michael Leuschel