Haven't the authors of the publication 'CosyVerif: An Open Source Extensible Verification Environment' published the paper 'Multi-objective combinatorial optimization for selecting best available techniques (BAT) in the industrial sector: the COMBAT tool'?
Have the authors of the paper 'CosyVerif: An Open Source Extensible Verification Environment' not published the paper 'Multi-objective combinatorial optimization for selecting best available techniques (BAT) in the industrial sector: the COMBAT tool'?
ASK { <https://dblp.org/rec/conf/iceccs/AndreLPHLHK13> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/journals/jors/MavrotasGMSLHG09> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/journals/jors/MavrotasGMSLHG09> != <https://dblp.org/rec/conf/iceccs/AndreLPHLHK13>) FILTER NOT EXISTS { <https://dblp.org/rec/conf/iceccs/AndreLPHLHK13> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/journals/jors/MavrotasGMSLHG09> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/journals/jors/MavrotasGMSLHG09> != <https://dblp.org/rec/conf/iceccs/AndreLPHLHK13>) } }
<https://dblp.org/rec/conf/iceccs/AndreLPHLHK13> <https://dblp.org/rec/journals/jors/MavrotasGMSLHG09>