Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere. A formal approach to H.264 video decoding on multicore systems. IJCCBS, 4(1):3-26, 2013. [doi]
@article{LummePSS13, title = {A formal approach to H.264 video decoding on multicore systems}, author = {Kristian Lumme and Luigia Petre and Petter Sandvik and Kaisa Sere}, year = {2013}, doi = {10.1504/IJCCBS.2013.053740}, url = {http://dx.doi.org/10.1504/IJCCBS.2013.053740}, researchr = {https://researchr.org/publication/LummePSS13}, cites = {0}, citedby = {0}, journal = {IJCCBS}, volume = {4}, number = {1}, pages = {3-26}, }