Sciweavers

12052 search results - page 124 / 2411
» computing 2010
Sort
View
71
Voted
ECEASST
2010
15 years 4 days ago
Algebraic Model Checking
Peter Padawitz
81
Voted
ECEASST
2010
15 years 4 days ago
On Judgements and Propositions
Bernd Mahr
80
Voted
ECEASST
2010
15 years 4 days ago
Verification of Model Transformations
Bernhard Schätz