Verification of time partitioning in the DEOS scheduler kernel

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger. Verification of time partitioning in the DEOS scheduler kernel. In ICSE. pages 488-497, 2000. [doi]

@inproceedings{PenixVELW00,
  title = {Verification of time partitioning in the DEOS scheduler kernel},
  author = {John Penix and Willem Visser and Eric Engstrom and Aaron Larson and Nicholas Weininger},
  year = {2000},
  doi = {10.1145/337180.337364},
  url = {http://doi.acm.org/10.1145/337180.337364},
  tags = {partitioning},
  researchr = {https://researchr.org/publication/PenixVELW00},
  cites = {0},
  citedby = {0},
  pages = {488-497},
  booktitle = {ICSE},
}