Felipe Alvarez-Cuevas

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran
Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. ARTS (1997)
Miquel Bertran, Felipe Alvarez-Cuevas, Joan Viaplana, Albert Duran, Daniel Cabedo, Antoni Garrell, Josep M. Garrell, Francesc Escudero, Miquel Nicolau, Miquel Porta, Bartomeu Palmer, Joan M. Espejo, Frances Oller, Jordi Forga, Josep M. Solanas
A design environment with simulation and formal verification (syr-padde). CAMAD (1994)
Felipe Alvarez-Cuevas, Miquel Bertran, Francesco Oller, Josep M. Selga
Voice synchronization in packet switching networks. IEEE Netw. 7 (5) (1993)