Sciweavers

11 search results - page 1 / 3
» cys 2000
Sort
View
55
Voted
CYS
1999
70views more  CYS 1999»
14 years 9 months ago
Using Difference Reduction for Generic Proof Search
Santiago Negrete
CYS
2000
74views more  CYS 2000»
14 years 9 months ago
Limited Preemption in Real-Time Scheduling
Axel W. Krings, M. H. Azadmanesh