Sciweavers

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