Author: Luciano Bertini
Publication Overview
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