Sciweavers

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