Travelled to:1 × Portugal
Collaborated with:P.Manolios M.G.Oms
Talks about:pedigre (1) consist (1) check (1) pcs (1)
Person: Sergi Oliva Valls
DBLP: Valls:Sergi_Oliva
Contributed to:
2007Wrote 1 papers:
- TACAS-2007-ManoliosOV #consistency
- Checking Pedigree Consistency with PCS (PM, MGO, SOV), pp. 339–342.