John Penix, Willem Visser, Eric Engstrom, Aaron Larson, and Nicholas Weininger. Verification of time partitioning in the deos scheduler kernel. In Proceedings of the 22nd International Conference on Software Engineering. ACM Press, June 2000.
author author author author author author author author author author author title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle publisher publisher date date