Sciweavers

1222 search results - page 18 / 245
» corr 2008
Sort
View
CORR
2008
Springer
88views Education» more  CORR 2008»
14 years 10 months ago
On (Omega-)Regular Model Checking
Axel Legay, Pierre Wolper
CORR
2008
Springer
102views Education» more  CORR 2008»
14 years 10 months ago
SWIM: A Simple Model to Generate Small Mobile Worlds
Alessandro Mei, Julinda Stefa
53
Voted
CORR
2008
Springer
103views Education» more  CORR 2008»
14 years 10 months ago
Mode Change Protocol for Multi-Mode Real-Time Systems upon Identical Multiprocessors
Vincent Nélis, Joël Goossens