Sciweavers

15727 search results - page 112 / 3146
» Software Engineering - Introduction
Sort
View
SIGSOFT
2004
ACM
15 years 10 months ago
Explaining abstract counterexamples
Sagar Chaki, Alex Groce, Ofer Strichman
107
Voted
WOSP
2004
ACM
15 years 10 months ago
Applying fixed priority scheduling in practice
Raimondas Lencevicius, Alexander Ran