Did the authors of 'Automatic identification of assertions and invariants with small numbers of test vectors' not publish 'Monitoring rice growth in Southern China using TerraSAR-X dual polarization data'?
Did the authors of the publication 'Automatic identification of assertions and invariants with small numbers of test vectors' not publish 'Monitoring rice growth in Southern China using TerraSAR-X dual polarization data'?
ASK { <https://dblp.org/rec/conf/iccd/Fujita15> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/conf/agro-geoinformatics/ChenHD17> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/conf/agro-geoinformatics/ChenHD17> != <https://dblp.org/rec/conf/iccd/Fujita15>) FILTER NOT EXISTS { <https://dblp.org/rec/conf/iccd/Fujita15> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/conf/agro-geoinformatics/ChenHD17> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/conf/agro-geoinformatics/ChenHD17> != <https://dblp.org/rec/conf/iccd/Fujita15>) } }
<https://dblp.org/rec/conf/iccd/Fujita15> <https://dblp.org/rec/conf/agro-geoinformatics/ChenHD17>