Sciweavers

16626 search results - page 126 / 3326
» Computing is a natural science
Sort
View
SOFSEM
2007
Springer
16 years 15 days ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský
SOFSEM
2007
Springer
16 years 15 days ago
Restarting Tree Automata
Heiko Stamer, Friedrich Otto