Author: Autran Macedo
Publications
Publication period start: 1999
Number of co-authors: 3
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Campos, Sérgio Vale Aguiar, Ribeiro-Neto, Berthier A., Macedo, Autran, Bertini, Luciano (1999): Formal verification and analysis of multimedia systems. In: ACM Multimedia 1999 , 1999, . pp. 419-430. https://doi.acm.org/10.1145/319463.319678