Sciweavers

12052 search results - page 124 / 2411
» computing 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