Sciweavers

35 search results - page 1 / 7
» sofsem 2007
Sort
View
67
Voted
SOFSEM
2007
Springer
15 years 4 months ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský
69
Voted
SOFSEM
2007
Springer
15 years 4 months ago
Restarting Tree Automata
Heiko Stamer, Friedrich Otto