%0 Conference Paper %1 conf/icse/PenixVELW00 %A Penix, John %A Visser, Willem %A Engstrom, Eric %A Larson, Aaron %A Weininger, Nicholas %B ICSE %D 2000 %E Ghezzi, Carlo %E Jazayeri, Mehdi %E Wolf, Alexander L. %I ACM %K dblp %P 488-497 %T Verification of time partitioning in the DEOS scheduler kernel. %U http://dblp.uni-trier.de/db/conf/icse/icse2000.html#PenixVELW00 %@ 1-58113-206-9

@inproceedings{conf/icse/PenixVELW00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Penix, John and Visser, Willem and Engstrom, Eric and Larson, Aaron and Weininger, Nicholas}, biburl = {https://www.bibsonomy.org/bibtex/27989f6a035100dd7702dc91ef9ec9dc1/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2000}, editor = {Ghezzi, Carlo and Jazayeri, Mehdi and Wolf, Alexander L.}, ee = {https://doi.org/10.1145/337180.337364}, interhash = {271c289483546134190eb289715b6112}, intrahash = {7989f6a035100dd7702dc91ef9ec9dc1}, isbn = {1-58113-206-9}, keywords = {dblp}, pages = {488-497}, publisher = {ACM}, timestamp = {2018-11-07T14:45:42.000+0100}, title = {Verification of time partitioning in the DEOS scheduler kernel.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2000.html#PenixVELW00}, year = 2000 }