Sciweavers

24132 search results - page 192 / 4827
» and 2009
Sort
View
ATC
2009
Springer
16 years 1 months ago
Formal Development of Self-organising Systems
Graeme Smith, Jeffrey W. Sanders
ATVA
2009
Springer
85views Hardware» more  ATVA 2009»
16 years 1 months ago
Quantitative Analysis under Fairness Constraints
Christel Baier, Marcus Größer, Frank Ci...