Correct Microkernel Primitives. Starostin, A. & Tsyban, A. Electr. Notes Theor. Comput. Sci., 217:169-185, 2008. Link Paper bibtex @article{journals/entcs/StarostinT08,
author = {Starostin, Artem and Tsyban, Alexandra},
date = {2008-08-21},
ee = {http://dx.doi.org/10.1016/j.entcs.2008.06.048},
interhash = {cd550ecb65ce9606cf3413d06395d471},
intrahash = {a56d8d84392f5098b80018212191f925},
journal = {Electr. Notes Theor. Comput. Sci.},
pages = {169-185},
title = {Correct Microkernel Primitives.},
url = {http://dblp.uni-trier.de/db/journals/entcs/entcs217.html#StarostinT08},
volume = 217,
year = 2008
}
Downloads: 0
{"_id":"ErDLnxurn46wgDDJv","bibbaseid":"starostin-tsyban-correctmicrokernelprimitives-2008","downloads":0,"creationDate":"2017-11-25T00:20:58.014Z","title":"Correct Microkernel Primitives.","author_short":["Starostin, A.","Tsyban, A."],"year":2008,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/artem?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Starostin"],"firstnames":["Artem"],"suffixes":[]},{"propositions":[],"lastnames":["Tsyban"],"firstnames":["Alexandra"],"suffixes":[]}],"date":"2008-08-21","ee":"http://dx.doi.org/10.1016/j.entcs.2008.06.048","interhash":"cd550ecb65ce9606cf3413d06395d471","intrahash":"a56d8d84392f5098b80018212191f925","journal":"Electr. Notes Theor. Comput. Sci.","pages":"169-185","title":"Correct Microkernel Primitives.","url":"http://dblp.uni-trier.de/db/journals/entcs/entcs217.html#StarostinT08","volume":"217","year":"2008","bibtex":"@article{journals/entcs/StarostinT08,\n author = {Starostin, Artem and Tsyban, Alexandra},\n date = {2008-08-21},\n ee = {http://dx.doi.org/10.1016/j.entcs.2008.06.048},\n interhash = {cd550ecb65ce9606cf3413d06395d471},\n intrahash = {a56d8d84392f5098b80018212191f925},\n journal = {Electr. Notes Theor. Comput. Sci.},\n pages = {169-185},\n title = {Correct Microkernel Primitives.},\n url = {http://dblp.uni-trier.de/db/journals/entcs/entcs217.html#StarostinT08},\n volume = 217,\n year = 2008\n}\n\n","author_short":["Starostin, A.","Tsyban, A."],"key":"journals/entcs/StarostinT08","id":"journals/entcs/StarostinT08","bibbaseid":"starostin-tsyban-correctmicrokernelprimitives-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.entcs.2008.06.048","Paper":"http://dblp.uni-trier.de/db/journals/entcs/entcs217.html#StarostinT08"},"downloads":0},"search_terms":["correct","microkernel","primitives","starostin","tsyban"],"keywords":[],"authorIDs":[],"dataSources":["7supHakfuKN3wzsvy"]}