Journal/document/root.bib
changeset 20 b56616fd88dd
parent 16 9764023f719e
child 22 9f0b78fcc894
equal deleted inserted replaced
19:3cc70bd49588 20:b56616fd88dd
       
     1 @INPROCEEDINGS{WINDOWSNT, 
       
     2   author={L.~Budin and L.~Jelenkovic}, 
       
     3   booktitle={Proc.~of the IEEE International Symposium on 
       
     4      Industrial Electronics (ISIE)}, 
       
     5   title={{T}ime-{C}onstrained {P}rogramming in {W}indows {NT} {E}nvironment}, 
       
     6   year={1999},
       
     7   volume={1}, 
       
     8   pages={90--94}, 
       
     9   }
       
    10 
       
    11 
     1 @article{seL4,
    12 @article{seL4,
     2   author =  {G.~Klein and
    13   author =  {G.~Klein and
     3                J.~Andronick and
    14                J.~Andronick and
     4                K.~Elphinstone and
    15                K.~Elphinstone and
     5                G.~Heiser and
    16                G.~Heiser and