Verifying data integration agents with deduction-based models.

Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki

Browse the full FedCSIS paper archive.