Sciweavers

10447 search results - page 110 / 2090
» The Philosophy of Computer Science
Sort
View
SOFSEM
2007
Springer
15 years 10 months ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský
100
Voted
SOFSEM
2007
Springer
15 years 10 months ago
Maximum Finding in the Symmetric Radio Networks with Collision Detection
Frantisek Galcík, Gabriel Semanisin
SOFSEM
2007
Springer
15 years 10 months ago
Restarting Tree Automata
Heiko Stamer, Friedrich Otto