Checking Pedigree Consistency with PCS.

Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls

Browse the full TACAS paper archive.