@article{355393,
      url = {http://digitallibrary.un.org/record/355393},
      title = {A formal proof of the deadline driven scheduler},
      publisher = {UN University :},
      recid = {355393},
      pages = {i, 23 p.},
      address = {Tokyo :. 1994-02},
      year = {1994},
      month = {Feb},
}