@article{journals/fmsd/PenixVPPELW05,
  added-at = {2006-02-15T00:00:00.000+0100},
  author = {Penix, John and Visser, Willem and Park, Seungjoon and Pasareanu, Corina S. and Engstrom, Eric and Larson, Aaron and Weininger, Nicholas},
  biburl = {https://www.bibsonomy.org/bibtex/285e3d50eee7350c735a268818f1aa10e/dblp},
  date = {2006-02-15},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/s10703-005-1490-4},
  interhash = {0274b0bf80d146ed5d481960a4cd9cfd},
  intrahash = {85e3d50eee7350c735a268818f1aa10e},
  journal = {Formal Methods in System Design},
  keywords = {dblp},
  number = 2,
  pages = {103-135},
  timestamp = {2006-02-15T00:00:00.000+0100},
  title = {Verifying Time Partitioning in the DEOS Scheduling Kernel.},
  url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd26.html#PenixVPPELW05},
  volume = 26,
  year = 2005
}

{"_id":"oQTxFv8jmj3NrzMjb","bibbaseid":"penix-visser-park-pasareanu-engstrom-larson-weininger-verifyingtimepartitioninginthedeosschedulingkernel-2005","authorIDs":[],"author_short":["Penix, J.","Visser, W.","Park, S.","Pasareanu, C. S.","Engstrom, E.","Larson, A.","Weininger, N."],"bibdata":{"bibtype":"article","type":"article","added-at":"2006-02-15T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Penix"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]},{"propositions":[],"lastnames":["Park"],"firstnames":["Seungjoon"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Engstrom"],"firstnames":["Eric"],"suffixes":[]},{"propositions":[],"lastnames":["Larson"],"firstnames":["Aaron"],"suffixes":[]},{"propositions":[],"lastnames":["Weininger"],"firstnames":["Nicholas"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/285e3d50eee7350c735a268818f1aa10e/dblp","date":"2006-02-15","description":"dblp","ee":"http://dx.doi.org/10.1007/s10703-005-1490-4","interhash":"0274b0bf80d146ed5d481960a4cd9cfd","intrahash":"85e3d50eee7350c735a268818f1aa10e","journal":"Formal Methods in System Design","keywords":"dblp","number":"2","pages":"103-135","timestamp":"2006-02-15T00:00:00.000+0100","title":"Verifying Time Partitioning in the DEOS Scheduling Kernel.","url":"http://dblp.uni-trier.de/db/journals/fmsd/fmsd26.html#PenixVPPELW05","volume":"26","year":"2005","bibtex":"@article{journals/fmsd/PenixVPPELW05,\n added-at = {2006-02-15T00:00:00.000+0100},\n author = {Penix, John and Visser, Willem and Park, Seungjoon and Pasareanu, Corina S. and Engstrom, Eric and Larson, Aaron and Weininger, Nicholas},\n biburl = {https://www.bibsonomy.org/bibtex/285e3d50eee7350c735a268818f1aa10e/dblp},\n date = {2006-02-15},\n description = {dblp},\n ee = {http://dx.doi.org/10.1007/s10703-005-1490-4},\n interhash = {0274b0bf80d146ed5d481960a4cd9cfd},\n intrahash = {85e3d50eee7350c735a268818f1aa10e},\n journal = {Formal Methods in System Design},\n keywords = {dblp},\n number = 2,\n pages = {103-135},\n timestamp = {2006-02-15T00:00:00.000+0100},\n title = {Verifying Time Partitioning in the DEOS Scheduling Kernel.},\n url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd26.html#PenixVPPELW05},\n volume = 26,\n year = 2005\n}\n\n","author_short":["Penix, J.","Visser, W.","Park, S.","Pasareanu, C. S.","Engstrom, E.","Larson, A.","Weininger, N."],"key":"journals/fmsd/PenixVPPELW05","id":"journals/fmsd/PenixVPPELW05","bibbaseid":"penix-visser-park-pasareanu-engstrom-larson-weininger-verifyingtimepartitioninginthedeosschedulingkernel-2005","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s10703-005-1490-4","Paper":"http://dblp.uni-trier.de/db/journals/fmsd/fmsd26.html#PenixVPPELW05"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.748Z","downloads":0,"keywords":["dblp"],"search_terms":["verifying","time","partitioning","deos","scheduling","kernel","penix","visser","park","pasareanu","engstrom","larson","weininger"],"title":"Verifying Time Partitioning in the DEOS Scheduling Kernel.","year":2005,"dataSources":["nk4Sfi2ddzBtdLpRN"]}