Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus. Symbolic quality control for multimedia applications. Real-Time Systems, 40(1):1-43, 2008. [doi]
@article{CombazFSS08, title = {Symbolic quality control for multimedia applications}, author = {Jacques Combaz and Jean-Claude Fernandez and Joseph Sifakis and Loïc Strus}, year = {2008}, doi = {10.1007/s11241-008-9049-2}, url = {http://dx.doi.org/10.1007/s11241-008-9049-2}, tags = {multimedia}, researchr = {https://researchr.org/publication/CombazFSS08}, cites = {0}, citedby = {0}, journal = {Real-Time Systems}, volume = {40}, number = {1}, pages = {1-43}, }