BibTeX record journals/ijccbs/LummePSS13

download as .bib file

@article{DBLP:journals/ijccbs/LummePSS13,
  author    = {Kristian Lumme and
               Luigia Petre and
               Petter Sandvik and
               Kaisa Sere},
  title     = {A formal approach to {H.264} video decoding on multicore systems},
  journal   = {{IJCCBS}},
  volume    = {4},
  number    = {1},
  pages     = {3--26},
  year      = {2013}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics