1998 |
2 | | Wanderley Lopes de Souza,
Paulo Nazareno Maia Sampaio,
Jean-Marie Farines,
Roberto Milton Scheffel,
Maria Janilce B. Almeida,
Luciano Paschoal Gaspary,
Lisandro Zambenedetti Granville,
Roberto Willrich,
Murilo S. de Camargo,
Marcelo Domingos:
Design of Distributed Multimedia Applications (DAMD).
FM-Trends 1998: 77-91 |
1 | EE | Murilo S. de Camargo,
Roberto Milton Scheffel:
Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach.
Electr. Notes Theor. Comput. Sci. 14: (1998) |