Sciweavers

8196 search results - page 30 / 1640
» Computational Modeling and Complexity Science
Sort
View
SOFSEM
2007
Springer
15 years 6 months ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský