%0 Journal Article %1 journals/mam/BradleyHKR94 %A Bradley, Steven %A Henderson, William %A Kendall, David %A Robson, Adrian %D 1994 %J Microprocess. Microsystems %K dblp %N 9 %P 513-521 %T A formally based hard real-time kernel. %U http://dblp.uni-trier.de/db/journals/mam/mam18.html#BradleyHKR94 %V 18

@article{journals/mam/BradleyHKR94, added-at = {2020-10-26T00:00:00.000+0100}, author = {Bradley, Steven and Henderson, William and Kendall, David and Robson, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/263cf3b0361d75db2d7cb24522edb736c/dblp}, ee = {https://doi.org/10.1016/0141-9331(94)90074-4}, interhash = {8906d562eb03f07435bac09d987e1f9b}, intrahash = {63cf3b0361d75db2d7cb24522edb736c}, journal = {Microprocess. Microsystems}, keywords = {dblp}, number = 9, pages = {513-521}, timestamp = {2020-10-27T12:19:10.000+0100}, title = {A formally based hard real-time kernel.}, url = {http://dblp.uni-trier.de/db/journals/mam/mam18.html#BradleyHKR94}, volume = 18, year = 1994 }