Sciweavers

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