Sciweavers

8196 search results - page 30 / 1640
» Computational Modeling and Complexity Science
Sort
View
67
Voted
SPIN
2009
Springer
15 years 4 months ago
EMMA: Explicit Model Checking Manager (Tool Presentation)
Radek Pelánek, Václav Rosecký
SOFSEM
2007
Springer
15 years 3 months ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský