Did the authors of the paper 'Multiresolution Textures from Image Sequences' also publish the publication 'CafeOBJ as a Tool for Behavioral System Verification'?
Did the authors of 'Multiresolution Textures from Image Sequences' also publish 'CafeOBJ as a Tool for Behavioral System Verification'?
ASK { <https://dblp.org/rec/journals/cga/OfekSRW97> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/conf/isss2/MoriF02> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/conf/isss2/MoriF02> != <https://dblp.org/rec/journals/cga/OfekSRW97>) }
<https://dblp.org/rec/journals/cga/OfekSRW97> <https://dblp.org/rec/conf/isss2/MoriF02>