%0 Conference Paper %1 conf/ssv/MaedaY10 %A Maeda, Toshiyuki %A Yonezawa, Akinori %B SSV %D 2010 %E Huuck, Ralf %E Klein, Gerwin %E Schlich, Bastian %I USENIX Association %K dblp %T Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts. %U http://dblp.uni-trier.de/db/conf/ssv/ssv2010.html#MaedaY10

@inproceedings{conf/ssv/MaedaY10, added-at = {2014-06-04T00:00:00.000+0200}, author = {Maeda, Toshiyuki and Yonezawa, Akinori}, biburl = {https://www.bibsonomy.org/bibtex/27bf44982e59b9b6f10d53238923e7530/dblp}, booktitle = {SSV}, crossref = {conf/ssv/2010}, editor = {Huuck, Ralf and Klein, Gerwin and Schlich, Bastian}, ee = {https://www.usenix.org/conference/ssv10/typed-assembly-language-implementing-os-kernels-smpmulti-core-environments}, interhash = {3b9414b6d3a96ff72cd02fa3539c20fc}, intrahash = {7bf44982e59b9b6f10d53238923e7530}, keywords = {dblp}, publisher = {USENIX Association}, timestamp = {2018-07-05T11:50:25.000+0200}, title = {Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts.}, url = {http://dblp.uni-trier.de/db/conf/ssv/ssv2010.html#MaedaY10}, year = 2010 }