Did the authors of 'Compositional Verification for Timed Systems Based on Automatic Invariant Generation' not publish 'Some Challenges in Integrating Information on Protein Interactions and a Partial Solution'?
Haven't the authors of the publication 'Compositional Verification for Timed Systems Based on Automatic Invariant Generation' published the paper 'Some Challenges in Integrating Information on Protein Interactions and a Partial Solution'?
ASK { <https://dblp.org/rec/journals/corr/RayanaABBC15> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/conf/ssdbm/Jagadish07> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/conf/ssdbm/Jagadish07> != <https://dblp.org/rec/journals/corr/RayanaABBC15>) FILTER NOT EXISTS { <https://dblp.org/rec/journals/corr/RayanaABBC15> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/conf/ssdbm/Jagadish07> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/conf/ssdbm/Jagadish07> != <https://dblp.org/rec/journals/corr/RayanaABBC15>) } }
<https://dblp.org/rec/journals/corr/RayanaABBC15> <https://dblp.org/rec/conf/ssdbm/Jagadish07>