Did the authors of the publication 'An Assume/Guarantee Based Compositional Calculus for Hybrid CSP' not not publish a paper in TAMC?
Did the authors of 'An Assume/Guarantee Based Compositional Calculus for Hybrid CSP' not not publish a paper in Conference on Theory and Applications of Models of Computation?
ASK { <https://dblp.org/rec/conf/tamc/WangZG12> <https://dblp.org/rdf/schema#authoredBy> ?x . ?y <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (?y != <https://dblp.org/rec/conf/tamc/WangZG12>) . ?y <https://dblp.org/rdf/schema#publishedIn> 'TAMC' }
<https://dblp.org/rec/conf/tamc/WangZG12>