Sciweavers

12052 search results - page 124 / 2411
» computer 2010
Sort
View
77
Voted
ECEASST
2010
15 years 1 months ago
Algebraic Model Checking
Peter Padawitz
87
Voted
ECEASST
2010
15 years 1 months ago
Verification of Model Transformations
Bernhard Schätz