Login / Signup
Josep M. Garrell
Publication Activity (10 Years)
Years Active: 1994-1994
Publications (10 Years): 0
</>
Publications
</>
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)