Travelled to:1 × USA
Collaborated with:S.Roach S.Salamah C.Rodríguez F.d.Sande C.León
Talks about:parallel (1) templat (1) pattern (1) librari (1) automat (1) provid (1) protef (1) messag (1) balanc (1) verif (1)
Person: Luis García
DBLP: Garc=iacute=a:Luis
Contributed to:
2008
1998Wrote 2 papers:
- SEKE-2008-GarciaRS #automation #ltl #named #verification
- PROTEF: Automatic Verification of Pattern-Based LTL Templates (LG, SR, SS), pp. 261–266.
- PDP-1998-RodriguezSLG #library #message passing #parallel
- Providing nested parallelism and load balancing on message passing libraries (CR, FdS, CL, LG), pp. 402–408.