Sciweavers

40 search results - page 1 / 8
» eceasst 2010
Sort
View
100
Voted
ECEASST
2010
15 years 3 months ago
Algebraic Model Checking
Peter Padawitz
113
Voted
ECEASST
2010
15 years 3 months ago
On Judgements and Propositions
Bernd Mahr
113
Voted
ECEASST
2010
15 years 3 months ago
Verification of Model Transformations
Bernhard Schätz
109
Voted
ECEASST
2010
15 years 3 months ago
Vorwort / Preface
Michael Zapf, Klaus David