Sciweavers

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