Sciweavers

11016 search results - page 166 / 2204
» Cloud Computing for 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ý
SOFSEM
2007
Springer
15 years 10 months ago
Restarting Tree Automata
Heiko Stamer, Friedrich Otto