Sciweavers

40 search results - page 1 / 8
» eceasst 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
85
Voted
ECEASST
2010
15 years 1 months ago
Vorwort / Preface
Michael Zapf, Klaus David