BibTeX record journals/rts/HoomanR00

download as .bib file

@article{DBLP:journals/rts/HoomanR00,
  author    = {Jozef Hooman and
               Onno S. van Roosmalen},
  title     = {An Approach to Platform Independent Real-Time Programming: {(1)} Formal
               Description},
  journal   = {Real Time Syst.},
  volume    = {19},
  number    = {1},
  pages     = {61--85},
  year      = {2000}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics