Daniel Cabedo

According to our database, Daniel Cabedo authored at least 1 paper in 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

A design environment with simulation and formal verification (syr-padde).

Miquel Bertran, Felipe Alvarez-Cuevas, Joan Viaplana, Albert Duran, Daniel Cabedo, Antoni Garrell, Josep Maria Garrell i Guiu, Francesc Escudero, Miquel Nicolau, Miquel Porta, Bartomeu Palmer, Joan M. Espejo, Frances Oller, Jordi Forga, Josep M. Solanas

Proceedings of the Fifth IEEE International Workshop on Computer-Aided Modeling, 1994