Ignore:
Timestamp:
Feb 17, 2011, 2:52:34 PM (9 years ago)
Author:
mulligan
Message:

Emulator fixed for Wilmer

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.bib

    r555 r557  
    125125
    126126@misc
     127{ cerco-report:2011,
     128  title = {D4.1: executable formal semantics of machine code},
     129  howpublished = {\url{http://cerco.cs.unibo.it/raw-attachment/wiki/WikiStart/D4_1.pdf}},
     130  year = {2011},
     131  key = {{CerCo-report}}
     132}
     133
     134@misc
    127135{ mcu8051ide:2010,
    128136  title = {{MCU 8051 IDE} 1.3.11},
     
    151159@misc
    152160{ siemens:2011,
    153   title = {Siemens Semiconductor Group 8051 derivative instruction set},
     161  title = {{Siemens Semiconductor Group} 8051 derivative instruction set},
    154162  howpublished = {\url{http://www.win.tue.nl/~aeb/comp/8051/instruction-set.pdf}},
    155163  year = {2011},
Note: See TracChangeset for help on using the changeset viewer.