%0 Journal Article %1 journals/sigbed/AsbergN13 %A Åsberg, Mikael %A Nolte, Thomas %D 2013 %J SIGBED Review %K dblp %N 3 %P 15-22 %T Towards a user-mode approach to partitioned scheduling in the seL4 microkernel. %U http://dblp.uni-trier.de/db/journals/sigbed/sigbed10.html#AsbergN13 %V 10

@article{journals/sigbed/AsbergN13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Åsberg, Mikael and Nolte, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/23732c1e7e37209818577794637be41af/dblp}, ee = {https://doi.org/10.1145/2544350.2544352}, interhash = {1bafba68bed963a00b20de503ddfa33c}, intrahash = {3732c1e7e37209818577794637be41af}, journal = {SIGBED Review}, keywords = {dblp}, number = 3, pages = {15-22}, timestamp = {2018-11-07T12:20:40.000+0100}, title = {Towards a user-mode approach to partitioned scheduling in the seL4 microkernel.}, url = {http://dblp.uni-trier.de/db/journals/sigbed/sigbed10.html#AsbergN13}, volume = 10, year = 2013 }