Who are the authors of 'Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking' and what are the venues of the other papers they published?
Find the authors of 'Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking' and the venues of the other papers they published.
SELECT DISTINCT ?firstanswer ?secondanswer WHERE { <https://dblp.org/rec/conf/iccsw/ZbrzeznyZ15> <https://dblp.org/rdf/schema#authoredBy> ?firstanswer . ?x <https://dblp.org/rdf/schema#authoredBy> ?firstanswer . ?x <https://dblp.org/rdf/schema#publishedIn> ?secondanswer FILTER (?x != <https://dblp.org/rec/conf/iccsw/ZbrzeznyZ15>) }
<https://dblp.org/rec/conf/iccsw/ZbrzeznyZ15>