Sciweavers

10392 search results - page 137 / 2079
» Introduction to Computer Science
Sort
View
143
Voted
STACS
2004
Springer
16 years 3 days ago
Automata-Based Analysis of Recursive Cryptographic Protocols
Ralf Küsters, Thomas Wilke
WG
2004
Springer
16 years 3 days ago
Core Stability of Minimum Coloring Games
Thomas Bietenhader, Yoshio Okamoto