Did the authors of the publication 'Compositional Verification of Randomized Distributed Algorithms' not not publish a paper in COMPOS?
Have the authors of the paper 'Compositional Verification of Randomized Distributed Algorithms' not not published a publication in COMPOS?
ASK { <https://dblp.org/rec/conf/compos/Segala97> <https://dblp.org/rdf/schema#authoredBy> ?x . ?y <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (?y != <https://dblp.org/rec/conf/compos/Segala97>) . ?y <https://dblp.org/rdf/schema#publishedIn> 'COMPOS' }
<https://dblp.org/rec/conf/compos/Segala97>