@inproceedings{inproceedings, title = {{Noninterfering Schedulers}}, publisher = {{Springer Berlin Heidelberg}}, url = {{http://dx.doi.org/10.1007/978-3-642-40206-7_18 }}, year = {{2013}}, month = {{1}}, author = {{Popescu A and H枚lzl J and Nipkow T}}, doi = {{10.1007/978-3-642-40206-7_18}}, isbn = {{9783642402050}}, pages = {{236-252}}, note = {{Accessed on 2025/04/10}}}